krr / IDP / issues / #564 - Bug in machtsverheffing — Bitbucket

Issue #564 new

Bart Bogaerts created an issue 2013-10-24

File in bijlage doet gekke dingen in debug

File2 geeft unsatisfiable maar de unsatcore zegt satisfiable. Indien de verbosity gespecifieerd wordt zijn er wel modellen.

Het Fib-bestand doet ook assertions falen

Comments (4)

Ingmar Dasseville
- edited description
- attached pri.idp
- 2013-10-25T09:43:34+00:00
Ingmar Dasseville
- edited description
- attached fib.idp
- 2013-10-25T09:53:02+00:00
JoD
related to #822
- 2015-05-07T15:38:09+00:00
Bart Bogaerts reporter
Waar is de file fib.idp naartoe?
- 2015-05-07T15:39:35+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 4

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