martinpfannemueller / claferig Goto Github PK
View Code? Open in Web Editor NEWThis project forked from gsdlab/claferig
Support for reasoning on Clafer models by instantiation and counter example generation.
Home Page: http://clafer.org
License: MIT License