/claferIG

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

Primary LanguageHaskellMIT LicenseMIT

Issues