krr / IDP / issues / #187 - Very large bdds — Bitbucket

Issue #187 resolved

Broes De Cat created an issue 2012-06-20

For a.o. the attached example (use satwithbounds), the bdd becomes huge, causing optimizequery to take much too long.

SATsat.idp

Comments (2)

Bart Bogaerts
- changed status to resolved
speedup of bounds by not replacing atoms by their bdds. fixes ~~#187~~

→ 80a85af94594
- 2012-06-25T08:46:08+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:09+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!