bddbddb: BDD-Based Deductive Database Bugs

Status: Beta

Brought to you by: joewhaley

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
3	findbestorder results in NullPointerException	None	open	2007-06-15	2007-06-15
2	FindBestDomainOrder.out initialized to null	None	open	2007-06-15	2007-06-15
1	Relation ID should only be unique within a solver	None	open	2007-06-14	2007-06-14

(applies to this page only)