Home >
domains >
www.cs.kuleuven.be
Constraint Handling Rules: CHR
High-level programming language to write constraint systems; makes it easy to define constraint reasoning: simplification and propagation, and incremental solving (satisfaction) of constraints. Run and test CHR online; do a demo, try it now.
|
Keyword |
Results for this URL |
Total searches |