ba9f475417
This PR uses an `Array` instead of a `List` to store the clauses in `Std.CNF`. This reduces the memory footprint and pressure on the allocator, leading to noticeable performance changes with gigantic CNFs. |
||
|---|---|---|
| .. | ||
| Data | ||
| Do | ||
| Internal | ||
| Net | ||
| Sat | ||
| Sync | ||
| Tactic | ||
| Time | ||
| Data.lean | ||
| Do.lean | ||
| Internal.lean | ||
| Net.lean | ||
| Sat.lean | ||
| Sync.lean | ||
| Tactic.lean | ||
| Time.lean | ||