- changed status to resolved
setting stdoptions.xsb=true gives unsat to sat problem
Issue #780
resolved
I have to admit, the definition to be calculated is quite aggregate-heavy.
Comments (2)
-
-
Fixed bug in Definition => XSB Program transformation concerning aggterms
Too many variables were added to the aggClause (e.g. the quantified variables of the contained QuantVarSets)
This fixes issue
#780→ <<cset dfe4871d9969>>
- Log in to comment
Fixed bug in Definition => XSB Program transformation concerning aggterms
Too many variables were added to the aggClause (e.g. the quantified variables of the contained QuantVarSets)
This fixes issue
#780→ <<cset dfe4871d9969>>