krr / IDP / issues / #348 - Do not replace bdds by their evaluation after approximation. — Bitbucket

Issue #348 invalid

Broes De Cat created an issue 2013-02-11

Voorbeeldje in bijlage.

SymbolicApprox.idp

Comments (2)

Broes De Cat reporter
Issue ~~#412~~ was marked as a duplicate of this issue.
- 2013-04-16T15:21:11+00:00
Broes De Cat reporter
- changed status to invalid
Is not an issue with the symbolic structure, but with missing shared formula detection.
- 2013-08-17T17:09:30+00:00
Log in to comment

Assignee: Bart Bogaerts

Type: enhancement

Priority: major

Status: invalid

Component: –

Version: –

Votes: 0

Watchers: 1

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