GitHub - pepeiborra/satchmo: This is a fork of satchmo: SAT encoding monad (http://dfa.imn.htwk-leipzig.de/satchmo/)

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
Satchmo		Satchmo
.gitignore		.gitignore
Setup.hs		Setup.hs
gpl-2.0.txt		gpl-2.0.txt
satchmo.cabal		satchmo.cabal

About

This is a fork of satchmo: SAT encoding monad (http://dfa.imn.htwk-leipzig.de/satchmo/)

No releases published

No packages published