Ganak v2.6.3

Ganak 2.6.3

New: d-DNNF compilation toolchain

• d-DNNF compilation mode (--compile) that streams the circuit to disk instead of holding it in memory.
• New ddnnf-cleanup, ddnnf-verify, and ddnnf2dot tools, plus in-browser (wasm) visualization of the d-DNNF circuit.
• d-DNNF compile/cleanup/verify test suite and fuzzer.

Features

• New --fast option.
• Expose LaurentPolyGen as mode 13 (#114).
• Replace chibihash64 with 128-bit MurmurHash3 for component-cache keys, and warn on cache collisions.

Fixes

• Fix the case where a small instance (or --puura 0) could leave the CNF disconnected.
• Fix null comp_manager deref when the formula is UNSAT.
• Fix emscripten build.
• Fix zlib download by fetching from the GitHub release instead of zlib.net.

Misc

• Much improved Nix setup.
• README and graph/printing cleanups.

Full changelog: release/v2.6.2...release/v2.6.3

What's Changed

• Update README by @msoos in #111
• Clean up readme and mode 8 reference by @msoos in #112
• Expose LaurentPolyGen as mode 13 by @msoos in #114
• Development happens here by @msoos in #117

Full Changelog: release/v2.6.2...release/v2.6.3