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

non-domainelement changes definition

Issue #634 new
Ingmar Dasseville created an issue

deleting line 8 changes satisfiability even while 0 is not in the domain of getal

Comments (1)

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