Projects in Awesome Lists tagged with pseudo-boolean-solver
A curated list of projects in awesome lists tagged with pseudo-boolean-solver .
https://github.com/crillab/gophersat
gophersat, a SAT solver in Go
artificial-intelligence boolean-formulas constraint-satisfaction-problem constraints pseudo-boolean-solver sat-solver
Last synced: 21 Apr 2025
https://github.com/vasilisp/pb-sat
SAT-based Pseudo-Boolean Solver
common-lisp formal-methods integer-linear-programming mathematical-programming pseudo-boolean-solver sat-solver
Last synced: 01 Apr 2025
