krr / IDP / issues / #467 - groundsize&& is not printed when unsat is detected during grounding — Bitbucket

Issue #467 resolved

JoD created an issue 2013-07-12

Example output in attached file. Name of file represents example input files from the cp_speedtest repository.

disjunctive_scheduling.idp+01-disjunctive_scheduling-1250-0.asp.cpon

Comments (3)

Broes De Cat
- assigned issue to
  
  Broes De Cat
- 2013-08-12T09:02:40+00:00
Broes De Cat
- changed status to resolved
Fixes ~~#467~~: printing groundsize more.

→ <<cset 6fae7fdc7122>>
- 2013-12-23T16:41:40+00:00
Bart Bogaerts
Merged in groundsize_fix (pull request #173)

Fixes ~~#467~~: printing groundsize more.

→ <<cset 6b06b2167a32>>
- 2013-12-24T11:33:00+00:00
Log in to comment

Assignee: Broes De Cat

Type: bug

Priority: trivial

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

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