dbueno / funsat

An efficient, embeddable DPLL SAT solver in Haskell

funsat / Setup.hs
100755 3 lines (2 sloc) 0.046 kb
raw blame history 
1
2
3

import Distribution.Simple
main = defaultMain