@hackage chr-core0.1.1.0

Constraint Handling Rules

Categories
License
BSD-3-Clause
Maintainer
atzedijkstra@gmail.com
Links
Versions
- 0.1.1.0 Fri, 16 Sep 2022
- 0.1.0.4 Sat, 18 Aug 2018
- 0.1.0.1 Sun, 7 Jan 2018
- 0.1.0.0 Sun, 31 Dec 2017

Installation
In your cabal file:
Dependencies (9)
- base >=4.8 && <5
- chr-data >=0.1.0.1
- chr-pretty >=0.1.0.0
- containers >=0.4
- hashable >=1.2.4
- logict-state >=0.1.1.0
Dependents (2)
@hackage/chr-lang, @hackage/uhc-util

Core solving part of CHR libraries