Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 09 Nov 2024
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: 28 Oct 2024
https://github.com/floriancassayre/everydaysat
Solving some puzzles with Cafesat.
boolean-formulas sat sat-solver scala
Last synced: 06 Nov 2024
