gophersat: github.com/crillab/gophersat Files | Directories

Command gophersat

Package Files

main.go

Directories

PathSynopsis
bfPackage bf offers facilities to test the satisfiability of generic boolean formula.
explainPackage explain provides facilities to check and understand UNSAT instances.
maxsatPackage maxsat provides an optimization solver for SAT/PB.
solverPackage solver gives access to a simple SAT and pseudo-boolean solver.

Package main imports 10 packages (graph). Updated 2020-11-27. Refresh now. Tools for package owners.