Add support for the Kissat solver and the lingeling trio of solvers

ekmett / ersatz

A monad for interfacing with external SAT solvers

Other

62 stars 15 forks source link

Closed emeinhardt closed 6 months ago

emeinhardt commented 6 months ago

Per the title, this adds support for kissat, lingeling, plingeling, and treengeling to Ersatz.