CHR rule compiler and solver based on CHR solver available in package uhc-util
This package is obsolete, replaced by 'chr-lang', please look there.
-
Notifications
You must be signed in to change notification settings - Fork 2
CHR rule compiler and solver based on CHR solver available in package uhc-util
License
atzedijkstra/uhc-util-chr
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
CHR rule compiler and solver based on CHR solver available in package uhc-util
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published