KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–3 of 3)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#499: Fobdds, functions, equality and derived symbols don't really work well together
BDDs
enhancement
major
new
2013-08-14
2014-02-25
#142: Presburger improvement for BDDs
BDDs
enhancement
major
new
Pieter Van Hertum
2012-04-18
2013-01-30
#141: Propagation for aggregates
BDDs
task
major
new
2.0
2012-04-16
2013-01-30