mkhaled87/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.
CNOASSERTION
Issues
- 4
free/open source license?
#1 opened
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.
CNOASSERTION