chr
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Review Request (CHR): Issue #5: Rule firing although guard should fail |
|
1 | 59 | June 21, 2025 |
| A strange behavior of CHR package |
|
5 | 745 | May 31, 2025 |
| A bad news: CHR mailing list is no longer accessible |
|
7 | 622 | May 31, 2025 |
| Help with 8-Queens using CHR |
|
5 | 146 | October 8, 2024 |
| Package of CHR with dynamic rule priorities? |
|
19 | 1319 | December 30, 2023 |
| Gregory Duck's PhD thesis on CHR compilation |
|
2 | 223 | December 27, 2023 |
| Persistent CHR store |
|
15 | 305 | November 23, 2023 |
| Finding all CHR constraints? |
|
5 | 1285 | November 5, 2021 |
| Careful with forall/2 when it is used for "side-effects" |
|
0 | 463 | June 6, 2022 |
| Blog Post: Embedding E-graph Rewriting and Egglog in Constraint Handling Rules |
|
1 | 571 | April 15, 2022 |
| Interaction between CHR and CLP(R) |
|
3 | 508 | February 4, 2022 |
| Extending an Imperative Language with Constraint Logic Programming |
|
3 | 1124 | April 25, 2021 |
| Announcing New CHR Tutorial |
|
0 | 801 | November 30, 2019 |