name: adp-multi-monadiccp version: 0.1 cabal-version: >=1.8 build-type: Simple author: Maik Riechert stability: experimental bug-reports: https://github.com/neothemachine/adp-multi-monadiccp/issues homepage: http://adp-multi.ruhoh.com copyright: Maik Riechert, 2013 license: BSD3 license-file: LICENSE tested-with: GHC==7.4.1 maintainer: Maik Riechert category: Algorithms, Data Structures, Bioinformatics synopsis: Subword construction in adp-multi using monadiccp description: This is an experimental subword construction algorithm for the adp-multi package. It uses the constraint programming framework monadiccp with the constraint solver OvertonFD. It is slower than the built-in algorithm in adp-multi and serves research purposes. Use it by importing ADP.Multi.Constraint.All instead of ADP.Multi.Rewriting.All in your grammar files. source-repository head type: git location: git://github.com/neothemachine/adp-multi-monadiccp.git library hs-source-dirs: src build-depends: base == 4.*, containers >= 0.4 && < 0.6, adp-multi == 0.2.*, monadiccp == 0.7.* ghc-options: -Wall exposed-modules: ADP.Multi.Constraint.All, ADP.Multi.Constraint.Combinators, ADP.Multi.Constraint.ConstraintSolver other-modules: ADP.Multi.Constraint.MonadicCpHelper