1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

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
Assignee
Type
bug
Priority
major
Status
resolved
Component
XSB
Version
–
Votes
0
Watchers
3
Jira: the preferred issue tracker for Bitbucket. Join the team!