Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with boolean-satisfiability
A curated list of projects in awesome lists tagged with boolean-satisfiability .
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/timbeurskens/rsbdd
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
binary-decision-diagrams boolean-satisfiability np-complete sat-solver
Last synced: 03 Aug 2024
