1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Presburger improvement for BDDs

Issue #142 new
Bart Bogaerts created an issue

... will be useful.

One example where this is failing for the moment is "BigFormula.idp" (one of the querytests). For now, this is generating infinitely long. However, with some small presburger improvements, this BDD should work.

Comments (2)

  3. Log in to comment
Assignee
Type
enhancement
Priority
major
Status
new
Component
BDDs
Version
–
Votes
0
Watchers
2
Jira: the preferred issue tracker for Bitbucket. Join the team!