- changed status to resolved
Splitting definitions is too expensive without xsb
Issue #792
resolved
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)
-
reporter - Log in to comment
Fixed by commit c0a2e18