Geeks
ekmett
/
ersatz
A monad for interfacing with external SAT solvers
Primary Language
Haskell
Other
NOASSERTION
ersatz GitHub
Markdown
Readme
53
Issues
62
Stargazers
13
Watchers
Watchers
ion1
Finland
tanakh
Tokyo
malie
Muenchen
lucasdicioccio
ekmett
Farmington Hills, MI
xuwei-k
Tokyo
kaiquewdev
Brazil, Sao Paulo, SP
jhcloos
jwaldmann
RyanGlScott
Arlington, VA
eemailme
archivercloud
quewean