Name:           satchmo
Version:        1.2
License:        GPL
License-file:	gpl-2.0.txt
Author:         Johannes Waldmann
Maintainer:	Johannes Waldmann
Homepage:       http://dfa.imn.htwk-leipzig.de/satchmo/
Synopsis:       SAT encoding monad
description:	Encoding for boolean and integral constraints into CNF-SAT.
		The encoder is provided as a State monad (hence the "mo" in "satchmo").
		Requires SAT solver "minisat" installed.
Build-depends:  mtl, process, containers, base, array
Exposed-modules:
        Satchmo.Solve
        Satchmo.Boolean
	Satchmo.Counting
	Satchmo.Code
	Satchmo.Binary
	Satchmo.Binary.Op.Common
	Satchmo.Binary.Op.Fixed
	Satchmo.Binary.Op.Flexible
Other-modules:
	Satchmo.Binary.Data
        Satchmo.Boolean.Op
        Satchmo.Boolean.Data
	Satchmo.Internal
	Satchmo.Data
hs-source-dirs:	.
extra-source-files: test/Binary.hs  test/HC.hs      test/Schur.hs
		    test/Factor.hs
		    test/Cage.hs    test/Ramsey.hs  test/VC.hs
		    TODO
extensions: 
build-type: Simple