Truth Table to Boolean Formula converter based on SAT
-
Updated
Oct 27, 2018 - Python
Truth Table to Boolean Formula converter based on SAT
ABE AI Optimizations in Python
Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE
Compute distance-k neighbours of any monotone Boolean Function
Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions
KS Boolean Expression is a free software used to minimize boolean functions by a graphic method of Karnaugh maps.
DPLL boolean satisfiability solver for .NET
Brenda is a boolean expression solver for Go AST
A fast SAT solver
gophersat, a SAT solver in Go
Add a description, image, and links to the boolean-formulas topic page so that developers can more easily learn about it.
To associate your repository with the boolean-formulas topic, visit your repo's landing page and select "manage topics."