Dataset - CKAN

Towards a Generic Trace for Rule Based Constraint Reasoning

CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers...
- HTML

You can also access this registry using the API (see API Docs).