dbueno / funsat

An efficient, embeddable DPLL SAT solver in Haskell

This URL has Read+Write access

funsat / doc
name age message
..
file counting-constraints.pdf Loading commit data...
file pb-into-sat.pdf