github.com/IRIFrance/gini/src/gini/cmd/gini

A fast SAT solver


Keywords
artificial-intelligence, boolean-formulas, circuit-sat, concurrent, dependencies, fuzzing, logic-circuit, logic-programming, resolution, sat-solver, testing, verification
License
Other
Install
go get github.com/IRIFrance/gini/src/gini/cmd/gini