krr / IDP / issues / #842 - Nondeterministic model/ no model — Bitbucket

Issue #842 new

Ingmar Dasseville created an issue 2014-10-29

XSB -> Always model (=correct)

http://seldon.cs.kuleuven.be/idp/?src=0b1cded8066c34b6a20e

Comments (2)

Bart Bogaerts

Related to BDDS

stdoptions.liftedunitpropagation=false
stdoptions.groundwithbounds=false

makes it work

2014-10-29T14:08:32+00:00

Bart Bogaerts
Probably has something to do with partial funcitons as well...
- 2014-10-29T14:09:55+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 2

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