krr / IDP / issues / #4 - Check that models satisfy theory — Bitbucket

Issue #4 resolved

Bart Bogaerts created an issue 2011-12-08

After modelexpansion we expect that all returned structures are models of the theory. In debug-mode, we could check this.

Comments (3)

Broes De Cat
Issue ~~#100~~ was marked as a duplicate of this issue.
- 2012-02-08T15:21:09+00:00
Broes De Cat
Door na modelexpansie nog eens modelexpansie uit te voeren op de resulterende modellen, zijn er minstens 2 voorbeelden die ongeldige modellen genereren.
- 2012-02-08T15:22:20+00:00
Broes De Cat
- changed status to resolved
Fixed after resolving a bug in tseitin introduction during grounding.
- 2012-03-05T15:01:33+00:00
Log in to comment

Assignee: –

Type: proposal

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

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