Search bugs: !status:wont-fix && !status:closed-fixed Maximize Restore

Showing 5 results of 5

# Summary Milestone Status Owner Created Updated Priority
10 Conflicting declarations of variable bddproduced None open 2013-02-19 2014-06-01 5  
11 SourceForge lists BuDDy's license as "public domain" v1.0 (example) open 2013-08-05 2013-08-05 5  
9 bdd_reorder_auto() early exit doesn't work. v1.0 (example) open 2011-11-07 2011-11-07 5  
8 Fdd's do not work correctly when domain size is not a power None open 2010-05-18 2010-05-18 9  
7 non-recursive support for bdd_allsat None open 2006-04-12 2006-04-12 5  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)