buddy Bugs

Brought to you by: haimcohen, joewhaley, jornlind, nikos-g

Bugs Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A	Priority▾ Sort A -> Z Sort Z -> A
11	SourceForge lists BuDDy's license as "public domain"	v1.0 (example)	open	2013-08-05	2013-08-05	5
10	Conflicting declarations of variable bddproduced	None	open	2013-02-19	2014-06-01	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

(applies to this page only)