BDDC v2
A Binary Decision Diagrams library, initially written for the Lustre compiler in the early 90s. It is also used by Lesar, Nbac, Lucky/Lurette. A stand-alone symbolic calculator is also provided.
See online : The BDDC Page
Contact |
Site Map |
Site created with SPIP 2.1.13 +
AHUNTSIC
[CC License]
Logged in visitors: 32 ; visits: 205178
|
|
|