name: sat
version: 1.0
cabal-version: >=1.1.3
license: GPL
license-file: LICENSE
copyright: copyleft, share whatever you modify and any derivatives as well, including modules, additions and everything else.
author: Zvorygin, Andrii (Loki) 
maintainer: andrii.z@gmail.com
stability: stable
homepage: http://tcana.info/sat.html
package-url: http://lokiworld.org/skamSELypla/sat
synopsis: CNF SATisfier
description: CNF(Clausal Normal Form) SATisfiability Solver and Generator
category: algorithms
-- tested-with: ghc-6.4.2
build-depends: base

executable: SATSolve
main-is: "SATSolver.hs"
hs-source-dirs:"."
other-modules: 

executable: CNFGenerate
main-is: "CNFGenerator.hs"
hs-source-dirs:"."
other-modules: