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

After XSB: add Check whether calculated function is total

Issue #418 resolved
Joachim Jansen created an issue

Attached file should result in 0 models but it returns one where the function is not total. This should be detected to be unsat.

Comments (12)

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