chr-curry-2.0.0 --------------- Version 2.0.0 Author Michael Hanus Synopsis A library to use Constraint Handling Rules in Curry programs Category Constraints Dependencies base >= 1.0.0, < 2.0.0 flatcurry >= 2.0.0 prolog >= 1.0.0 redblacktree >= 0.0.1 searchtree >= 1.0.0 wl-pprint >= 0.0.1 xml >= 2.0.0 Compiler compatibility pakcs >= 2.0.0 Description This library an implementation of Constraints Handling Rules in Curry. Exported modules CHR Test suite Directory examples Test script test.sh Test options -v Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/chr-curry.git@v2.0.0 License BSD-3-Clause License file LICENSE