This repository was archived by the owner on Nov 1, 2018. It is now read-only.

CHR repr based on existentially quantified constraints works with uhc…