- changed status to resolved
Put XSB on as default
Issue #844
resolved
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)
-
reporter - Log in to comment
Fixed in pull request #319