Setup.hs
gpl-2.0.txt
satchmo-minisat.cabal
Satchmo