gophersat, a SAT solver in Go
A fast SAT solver
Brenda is a boolean expression solver for Go AST
DPLL boolean satisfiability solver for .NET
Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE
Local computation of immediate neighbours of a given monotone non-degenerate Boolean function
[DEPRECATED] This repository is no longer maintained.
KS Boolean Expression is a free software used to minimize boolean functions by a graphic method of Karnaugh maps.
ABE AI Optimizations in Python
Truth Table to Boolean Formula converter based on SAT
Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions
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."