Projects in Awesome Lists tagged with boolean-formulas
A curated list of projects in awesome lists tagged with boolean-formulas .
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/dave/brenda
Brenda is a boolean expression solver for Go AST
ast boolean boolean-algebra boolean-expression boolean-formulas boolean-operations boolean-satisfiability go golang
Last synced: 22 Mar 2025
https://github.com/floriancassayre/everydaysat
Solving some puzzles with Cafesat.
boolean-formulas sat sat-solver scala
Last synced: 13 May 2025
