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

Splitting definitions is too expensive without xsb

Issue #792 resolved
Bart Bogaerts created an issue

If you have a lot of definitions, splitting them (in particular, calculating the relation depends -> transitive closure) is too expensive!

Either we should make this cheaper, or release with xsb, or disable the splitting of definitions if xsb is unavailable...

Comments (1)

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