The adp-multi-monadiccp package

[Tags: bsd3, library]

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.

Properties

Versions0.1, 0.2.0, 0.2.1
Change logNone available
Dependenciesadp-multi (>=0.2.3 && <0.3), base (==4.*), containers (>=0.4 && <0.6), criterion (==0.6.*), deepseq (>=1.1.0.0), monadiccp (==0.7.*), mtl (>=2.0 && <2.2), QuickCheck (==2.5.*), test-framework (==0.8.*), test-framework-quickcheck2 (==0.3.*) [details]
LicenseBSD3
CopyrightMaik Riechert, 2013
AuthorMaik Riechert
MaintainerMaik Riechert
Stabilityexperimental
CategoryAlgorithms, Data Structures, Bioinformatics
Home pagehttp://adp-multi.ruhoh.com
Bug trackerhttps://github.com/adp-multi/adp-multi-monadiccp/issues
Source repositoryhead: git clone git://github.com/adp-multi/adp-multi-monadiccp.git
Executablesadp-multi-monadiccp-benchmarks
UploadedWed May 29 14:28:41 UTC 2013 by MaikRiechert
Downloads601 total (33 in last 30 days)
Votes
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Flags

NameDescriptionDefaultType
buildbenchmarkBuild benchmark executableDisabledAutomatic

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

Downloads

Maintainers' corner

For package maintainers and hackage trustees