[All bundles]

ciao_chr

Version: 1.0
Source: repository

CHR for Ciao

This is a port of the Leuven CHR System (Tom Schrijvers et al.) for Ciao.

Please consult Constraint Handling Rules for more information about CHR.