CNFGenerator.hs
LICENSE
SATSolver.hs
Setup.lhs
sat.cabal