Programma's van buddy.sf.net

Een binaire beslissingsdiagrambibliotheek, met :vele zeer efficiënte vectorized BDD-bewerkingen,dynamische variabele herschikking,geautomatiseerde garbage collection,een C++-interface met automatisch referentietelling