krr / IDP / issues / #188 - Tseitin introduction under negation in rule bodies is dangerous — Bitbucket

Issue #188 resolved

Broes De Cat created an issue 2012-06-20

It goes wrong on at least one test when push negations is not done. Should be fixed by pushing negations in rule bodies in the grounderfactory. Should probably also make an additional aggregate test.

Comments (3)

Broes De Cat reporter
Refs ~~#188~~: Added failing test.

→ 63faae5c3203
- 2012-06-20T11:49:26+00:00
Bart Bogaerts
- changed status to resolved
fixes ~~#188~~: negations are now always pushed in rule bodies.

→ f9a0ca02d871
- 2012-06-22T10:25:36+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Second Release (automated comment)
- 2013-01-30T09:36:54+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 0

Jira: the preferred issue tracker for Bitbucket. Join the team!