1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Satisfiability errors

Issue #103 resolved
Broes De Cat created an issue

Should add tests which run all examples without nbmodelequivalence: find all models it can find, do not count them but check whether each of them satisfies the theory (currently NOT the case)

Comments (1)

  2. Log in to comment
Assignee
–
Type
bug
Priority
major
Status
resolved
Component
–
Version
2.1
Votes
0
Watchers
0
Jira: the preferred issue tracker for Bitbucket. Join the team!