EVMDD library:

Version 0.0.8
- Source code of library: evmdd-0.0.8.tar.gz
- Source code of model checker: evmdd-smc-0.0.8.tar.gz
- Source code of model checker: evmdd-smc-0.0.8b.tar.gz
Version 0.0.7
- Source code of library: evmdd-0.0.7.tar.gz
- Source code of model checker: evmdd-smc-0.0.7.tar.gz
Version 0.0.6
- Source code of library: evmdd-0.0.6.tar.gz
- Source code of model checker: evmdd-smc-0.0.6.tar.gz

Installation notes:
Front end SMC can be hooked to the CUDD library, available at: http://vlsi.colorado.edu/~fabio/CUDD/.
The libutil library of CUDD has to be renamed (for example, libcuddutil) for deconfliction with the existing system library libutil.

Technical report:

Draft

Some preliminary results:

Experiments vs CUDD and SMART

All documents are under the responsibility of their authors, and do not represent the official views of NIA. The information is given in good faith, but its accuracy cannot be guaranteed.