chr-curry-3.0.0 --------------- Version 3.0.0 Author Michael Hanus Synopsis A library to use Constraint Handling Rules in Curry programs Category Constraints Dependencies base >= 3.0.0, < 4.0.0 flatcurry >= 3.0.0, < 4.0.0 prolog >= 3.0.0, < 4.0.0 redblacktree >= 3.0.0, < 4.0.0 searchtree >= 3.0.0, < 4.0.0 wl-pprint >= 3.0.0, < 4.0.0 xml >= 3.0.0, < 4.0.0 Compiler compatibility pakcs >= 3.0.0, < 4.0.0 Description This package provides an implementation of Constraint 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@v3.0.0 License BSD-3-Clause License file LICENSE