OPanasenko 

DEPRECATED since v4.0 - forwarding package. The whole LogicalOptimizer toolkit now ships as the single package "LogicalOptimizer"; LogicalOptimizer.Core only forwards to it so existing references keep working.... More information

DEPRECATED since v4.0 - forwarding package. The whole LogicalOptimizer toolkit now ships as the single package "LogicalOptimizer"; LogicalOptimizer.Sat only forwards to it so existing references keep working.... More information

DEPRECATED since v4.0 - forwarding package. The whole LogicalOptimizer toolkit now ships as the single package "LogicalOptimizer"; LogicalOptimizer.Minimization only forwards to it so existing references keep... More information

Dependency-free boolean expression toolkit in ONE package (since v4.0): provably minimal results with explicit proof status (exact Quine-McCluskey backend), built-in CDCL SAT solver with equivalence checking... More information

DEPRECATED since v4.0 - forwarding package. The whole LogicalOptimizer toolkit now ships as the single package "LogicalOptimizer"; LogicalOptimizer.Bdd only forwards to it so existing references keep working.... More information

DEPRECATED since v4.0 - forwarding package. The whole LogicalOptimizer toolkit now ships as the single package "LogicalOptimizer"; LogicalOptimizer.Dnnf only forwards to it so existing references keep working.... More information

DEPRECATED since v4.0 - forwarding package. The whole LogicalOptimizer toolkit (optimizer, SAT, BDD, minimization, d-DNNF and DIMACS/WCNF/OPB import/export) now ships as the single package "LogicalOptimizer";... More information

Command-line interface for LogicalOptimizer: boolean expression optimization with provable minimality, truth tables, CSV input, multi-output minimization, and export formats.

DEPRECATED since v4.0 - forwarding package. The whole LogicalOptimizer toolkit now ships as the single package "LogicalOptimizer"; LogicalOptimizer.Formats only forwards to it so existing references keep... More information