0.8.0

Changes

• Binaries and the container are built by a Nix configuration
• atomic-cross discards inverted duplicates
• CLI has single options for input/output files
• Python and Kotlin bindings

v0.7.0

Overall:

• Adds support for all major x86 operating systems, each with two variants: including and excluding d4v2
• Added support for CNF / DIMACS files as input. (Knowledge compilation into the corresponding graph structure with d4v2)
• Adds support for multiple SAT calls via query file
• Replaces the parameter 'omitted_features' with 'total_features'
• Improves performance for 'cardinality of features' operation
• Adds Docker support for execution

Stream API:

• Adds ranges for the parameters 'variables' and 'assumptions'
• Adds multithreading support
• Adds support for incrementally manipulating the underlying CNF
• Adds support for saving the manipulated CNF

v0.6.0

• 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

v0.5.0

The internal data structure has been changed. Added the ability to save ddnnfs. Fixed command line parsing issues and improved user output when using the tool incorrectly or in a way that was not intended.

v0.4.0

Added support of the new d4 standard involving smoothing.

v0.3.0

resolved issue of wrong output for partial configurations where all n…