adp-multi-monadiccp: Subword construction in adp-multi using monadiccp

[ algorithms, bioinformatics, bsd3, data-structures, library ] [ Propose Tags ] [ Report a vulnerability ]

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.

Flags

Automatic Flags
NameDescriptionDefault
buildbenchmark

Build benchmark executable

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.2.0, 0.2.1
Dependencies adp-multi (>=0.2.3 && <0.3), base (>=4 && <5), containers (>=0.4 && <0.6), criterion (>=0.6 && <0.7), deepseq (>=1.1.0.0), monadiccp (>=0.7 && <0.8), mtl (>=2.0 && <2.2), QuickCheck (>=2.5 && <2.6), test-framework (>=0.8 && <0.9), test-framework-quickcheck2 (>=0.3 && <0.4) [details]
Tested with ghc ==7.4.1, ghc ==7.6.2
License BSD-3-Clause
Copyright Maik Riechert, 2013
Author Maik Riechert
Maintainer Maik Riechert
Category Algorithms, Data Structures, Bioinformatics
Home page http://adp-multi.ruhoh.com
Bug tracker https://github.com/adp-multi/adp-multi-monadiccp/issues
Source repo head: git clone git://github.com/adp-multi/adp-multi-monadiccp.git
Uploaded by MaikRiechert at 2013-05-29T14:28:41Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables adp-multi-monadiccp-benchmarks
Downloads 2952 total (0 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]