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

Put XSB on as default

Issue #844 resolved
Joachim Jansen created an issue

Also check that the version without XSB is stable.

Additional code separation (ifdef #WITHXSB ...) needs to be done as well, at least in options.hpp/cpp.

Comments (1)

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