Sign in
funsat.
An efficient, embeddable DPLL SAT solver in Haskell
github.com/dbueno/funsat
by
@dbueno
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
