BDD is an abbreviation for Binary_decision_diagram.

Spot uses BDD via the BuDDy library.

Another popular BDD library is CUDD.

You might also take a look at DDD.

BDD (last edited 2005-05-04 17:18:14 by AlexandreDuretLutz)

All text is available under the terms of the GNU Free Documentation License, see SpotWikiLicense for details.