uhc-util-chr

CHR rule compiler and solver based on CHR solver available in package uhc-util

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
uhc-util-chr.cabal		uhc-util-chr.cabal

Provide feedback