uhc-util-chr 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.