.travis.yml
COPYING
README.md
Setup.lhs
toysolver.cabal
benchmarks
lpconvert
pbconvert
samples
src
test
toyfmf
toysat
toysolver