setting stdoptions.xsb=true gives unsat to sat problem

Issue #780 resolved
JoD created an issue

I have to admit, the definition to be calculated is quite aggregate-heavy.

Comments (2)

  1. Joachim Jansen

    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>>

  2. Ingmar Dasseville

    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>>

  3. Log in to comment