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.
ciao-lang/ciao_chr
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.