chr-core: Constraint Handling Rules

[ bsd3, control, library ] [ Propose Tags ]

Constraint Handling Rules evaluation engine


[Skip to Readme]
Versions [faq] 0.1.0.0, 0.1.0.1, 0.1.0.4
Change log ChangeLog.md
Dependencies base (>=4.8 && <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
Revised Revision 1 made by AtzeDijkstra at Sun Dec 31 11:17:17 UTC 2017
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 Thu Dec 28 20:36:55 UTC 2017
Distributions NixOS:0.1.0.4
Downloads 628 total (62 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
Last success reported on 2017-12-28 [all 2 reports]

Modules

  • CHR
    • Solve
      • CHR.Solve.MonoBacktrackPrio
    • CHR.Types
      • CHR.Types.Core
      • CHR.Types.Rule

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees


Readme for chr-core-0.1.0.0

[back to package description]

Core solving part of CHR libraries