ivogabe / uhc-util-chr Goto Github PK
View Code? Open in Web Editor NEWThis project forked from atzedijkstra/uhc-util-chr
CHR rule compiler and solver based on CHR solver available in package uhc-util
License: BSD 3-Clause "New" or "Revised" License