chr-core: Constraint Handling Rules

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Constraint Handling Rules evaluation engine


[Skip to Readme]

Properties

Versions 0.1.0.0, 0.1.0.0, 0.1.0.1, 0.1.0.4, 0.1.1.0
Change log ChangeLog.md
Dependencies base (>=4.9 && <5), chr-data (>=0.1.0.0), chr-pretty (>=0.1.0.0), containers (>=0.4), hashable (>=1.2.4), logict-state (>=0.1.0.4), mtl (>=2), pqueue (>=1.3.1), unordered-containers (>=0.2.7) [details]
License BSD-3-Clause
Author Atze Dijkstra
Maintainer atzedijkstra@gmail.com
Category Control
Home page https://github.com/atzedijkstra/chr
Bug tracker https://github.com/atzedijkstra/chr/issues
Source repo head: git clone git@github.com:atzedijkstra/chr.git
Uploaded by AtzeDijkstra at 2017-12-28T20:35:50Z

Modules

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Readme for chr-core-0.1.0.0

[back to package description]

Core solving part of CHR libraries