krr / IDP / issues / #206 - Grounder should use SATstate of solver — Bitbucket

Issue #206 resolved

Broes De Cat created an issue 2012-07-23

During grounding, the grounder does not use the state of the satsolver to stop grounder early if the grounding is unsat.

Comments (5)

Broes De Cat reporter
- assigned issue to
  
  Bart Bogaerts
- 2013-01-09T13:02:27+00:00
Bart Bogaerts
- changed status to resolved
see pull request #48 (issue is resolved once this pull request is finished (a tes is added) and accepted)
- 2013-01-09T20:57:13+00:00
Bart Bogaerts
Handling unsat

Unsat is now handled correctly in the grounding-inference. If unsat is detected, the correct result is returned. A test for this behaviour has been added. This fixes ~~#206~~

→ <<cset 48a0f78d06ef>>
- 2013-01-10T09:35:41+00:00
Bart Bogaerts
Handling unsat

Unsat is now handled correctly in the grounding-inference. If unsat is detected, the correct result is returned. A test for this behaviour has been added. This fixes ~~#206~~

→ <<cset de772f4e29bc>>
- 2013-01-10T09:41:00+00:00
Bart Bogaerts
Handling unsat

Unsat is now handled correctly in the grounding-inference. If unsat is detected, the correct result is returned. A test for this behaviour has been added. This fixes ~~#206~~

→ <<cset de772f4e29bc>>
- 2013-01-10T12:10:18+00:00
Log in to comment

Assignee: Bart Bogaerts

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

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