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.
maxsatPackage maxsat provides an optimization solver for SAT/PB.
solverPackage solver gives access to a simple SAT and pseudo-boolean solver.

Package main imports 9 packages (graph). Updated 2019-07-24. Refresh now. Tools for package owners.