Verimag

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.

View online : The BDDC Page

Contact | Site Map | Site powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 704754