incremental-sat-solver-0.1: Setup.hs

import Distribution.Simple

main = defaultMain