Name: satchmo-examples
Version: 1.8.1
License: GPL
License-file: gpl-2.0.txt
Author: Johannes Waldmann
Maintainer: Johannes Waldmann
Homepage: http://dfa.imn.htwk-leipzig.de/satchmo/
Synopsis: examples that show how to use satchmo
description: examples that show how to use satchmo
Category: Algorithms
Cabal-version: >= 1.6
Build-type: Simple
Executable Factor
Main-is: Factor.hs
ghc-options: -threaded
hs-source-dirs: .
Build-depends: satchmo>=1.8, satchmo-backends>=1.8, process, base == 4.*, containers, array
Executable HC
Main-is: HC.hs
ghc-options: -threaded
hs-source-dirs: .
Build-depends: satchmo>=1.8, satchmo-backends>=1.8, process, base == 4.*, containers, array
Executable VC
Main-is: VC.hs
ghc-options: -threaded
hs-source-dirs: .
Build-depends: satchmo>=1.8, satchmo-backends>=1.8, process, base == 4.*, containers, array
-- Executable QBF
-- Main-is: QBF.hs
-- ghc-options: -threaded
-- hs-source-dirs: .
-- Build-depends: satchmo>=1.8, satchmo-backends>=1.8, process, base == 4.*, containers, array