v0.6.0

raabh released this 13 Mar 15:19

· 150 commits to main since this release

8b2af56

Adds stream API together with the possibility to compute uniform random samples, atomic sets, SAT, and list valid configurations.
Adds the possibility to load a d-DNNF via stdin.
Minor bug fixes and optimizations

Assets 4