Approxdef fails

Issue #635 resolved
Joachim Jansen created an issue

Attached file gives an error in the XSB calculation of the approximating definition

Comments (1)

  1. Log in to comment