Optimizing product aggregates with negatives
Issue #177
new
Will fail, because the topgrounder won't be the aggrounder, but a new clause...
Fix this in the grounderfactory!
Comments (3)
-
-
- changed milestone to Later
An exception has been added, so moving it to future.
-
- removed milestone
Removing milestone: Later (automated comment)
- Log in to comment
Also, the product rewriting does not happen when using a product aggregate for optimization.