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

Update to new XSB version

Issue #425 resolved
Joachim Jansen created an issue

XSB has a new version out as of the 1st of May. Updating the version used from within IDP is necessary because the predicate not_exists/1 is used in the definition of idpxsb_forall

New version to be found at http://xsb.sourceforge.net/downloads/downloads.html

Comments (1)

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