search

prismmodelchecker / prism

The main development version of the PRISM model checker.
http://www.prismmodelchecker.org/
GNU General Public License v2.0
157 stars 72 forks source link

CUDD 3 #239

Closed davexparker closed 10 months ago

davexparker commented 10 months ago

Upgrade CUDD to (modified) version 3.0.0.

Stored at: https://github.com/prismmodelchecker/cudd/

This is newer code, with various compiler warnings now fixed.

The CUDD install is now autoconf based.