/scots-ready

A version of SCOTS with the CUDD library included and configured as a static-link library. Simply go to the root directory and run 'make' to build the CUDD library.

Primary LanguageCOtherNOASSERTION

Watchers