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