Name:           satchmo-minisat
Version:        1.3

License:        GPL
License-file:	gpl-2.0.txt
Author:         Johannes Waldmann
Maintainer:	Johannes Waldmann
Homepage:       http://dfa.imn.htwk-leipzig.de/satchmo/
Synopsis:       minisat driver as backend for satchmo
description:	this driver calls minisat (download from http://minisat.se/)
		to solve CNF-SAT constraints produced by satchmo
Build-depends: satchmo, process, base, containers
Exposed-modules:
        Satchmo.Solver.Minisat
hs-source-dirs:	.
extensions: 
build-type: Simple