- attached thesistoekenning.struc
XSB heeft last met functieconstraint?
Issue #757
resolved
In bijlage een theorie die een functie definieert. Zonder XSB geeft idp een model (zoals het hoort). Met XSB geeft IDP geen model (wat een bug is).
Comments (3)
-
reporter -
Origin of problem comes from the string type. Fixing it now
-
- changed status to resolved
Fixed on my branch in commit 32ea1e3
Branch pending pull request
- Log in to comment