BuDDy is a BDD manipulation library available here.

The Spot library uses and redistribute a slightly modified version of BuDDy. If you GetSpot, you will additionally get a Python wrapper for BuDDy.

BuDDy (last edited 2007-03-24 14:08:10 by AlexandreDuretLutz)

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