CHR rule compiler and solver based on CHR solver available in package uhc-util
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause