bdd / 0.1
| Short description: | Ruby binding for Buddy (BDD library) | |||||
|---|---|---|---|---|---|---|
| Category: | Library/Verification | |||||
| Status: | development | |||||
| Created: | 2006-05-23 16:11:44 GMT | |||||
| Last update: | 2006-05-23 16:11:44 GMT | |||||
| Owner: | Alexandre David (Projects of this owner) | |||||
| Homepage: | http://www.cs.aau.dk/~adavid/BDD/ | |||||
| Download: | http://www.cs.aau.dk/~adavid/BDD/ | |||||
| License: | GPL | |||||
| Dependency: |
|
|||||
| Description: | Reduced Ordered Binary Decision Diagrams are efficient data structures for representing boolean formula. They are widely used in formal verification, in particular symbolic model-checking. This binding is a wrapper for buddy and provides access to BDD classes. Its purposes are quick prototyping and education. |
|||||