Name:           satchmo-funsat
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:       funsat driver as backend for satchmo
description:	this driver calls funsat (download from hackage)
		to solve CNF-SAT constraints produced by satchmo
Build-depends: satchmo, funsat, parse-dimacs, base, containers, array
Exposed-modules:
        Satchmo.Solver.Funsat
hs-source-dirs:	.
extensions: 
build-type: Simple