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

Approxdef fails

Issue #635 resolved
Joachim Jansen created an issue

Attached file gives an error in the XSB calculation of the approximating definition

Comments (1)

  2. 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!