Topics tagged chr (original) (raw)

Topic Replies Views Activity
A strange behavior of CHR package Pack chr 5 741 May 31, 2025
Review Request (CHR): Issue #5: Rule firing although guard should fail General chr 0 34 May 31, 2025
A bad news: CHR mailing list is no longer accessible Nice to know chr 7 617 May 31, 2025
Help with 8-Queens using CHR Help! chr 5 144 October 8, 2024
Package of CHR with dynamic rule priorities? Pack how-to , chr 19 1319 December 30, 2023
Gregory Duck's PhD thesis on CHR compilation Nice to know chr 2 223 December 27, 2023
Persistent CHR store Help! chr 15 304 November 23, 2023
Finding all CHR constraints? Help! chr , attributed-variables 5 1284 November 5, 2021
Careful with forall/2 when it is used for "side-effects" Nice to know chr 0 463 June 6, 2022
Blog Post: Embedding E-graph Rewriting and Egglog in Constraint Handling Rules Discussion chr 1 571 April 15, 2022
Interaction between CHR and CLP(R) Pack bug , chr 3 507 February 4, 2022
Extending an Imperative Language with Constraint Logic Programming Help! discussion , chr 3 1119 April 25, 2021
Announcing New CHR Tutorial Announce tutorial , chr 0 801 November 30, 2019