- changed status to resolved
Approxdef fails
Issue #635
resolved
Attached file gives an error in the XSB calculation of the approximating definition
Comments (1)
-
reporter - Log in to comment
Attached file no longer fails