|
Review Request (CHR): Issue #5: Rule firing although guard should fail
|
|
1
|
86
|
June 21, 2025
|
|
A strange behavior of CHR package
|
|
5
|
760
|
May 31, 2025
|
|
A bad news: CHR mailing list is no longer accessible
|
|
7
|
633
|
May 31, 2025
|
|
Help with 8-Queens using CHR
|
|
5
|
183
|
October 8, 2024
|
|
Package of CHR with dynamic rule priorities?
|
|
16
|
1385
|
December 30, 2023
|
|
Gregory Duck's PhD thesis on CHR compilation
|
|
2
|
258
|
December 27, 2023
|
|
Persistent CHR store
|
|
15
|
345
|
November 23, 2023
|
|
Finding all CHR constraints?
|
|
5
|
1304
|
November 5, 2021
|
|
Careful with forall/2 when it is used for "side-effects"
|
|
0
|
465
|
June 6, 2022
|
|
Blog Post: Embedding E-graph Rewriting and Egglog in Constraint Handling Rules
|
|
1
|
593
|
April 15, 2022
|
|
Interaction between CHR and CLP(R)
|
|
3
|
509
|
February 4, 2022
|
|
Extending an Imperative Language with Constraint Logic Programming
|
|
3
|
1141
|
April 25, 2021
|
|
Announcing New CHR Tutorial
|
|
0
|
804
|
November 30, 2019
|