Support for reasoning on Clafer models by instantiation and counter example generation.
Primary LanguageHaskellMIT LicenseMIT