You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@@ -45,7 +45,7 @@ Further details are found in the readme files in example directories and in the
You may use [Windows Subsystem For Linux (WSL)](https://docs.microsoft.com/en-us/windows/wsl/install-win10) and follow the same instructions before to run SCOTS. However, the MATLAB interface is not be supported.
Another option is to use the provided [VisualStudio build project](cudd-3.0.0/cudd.vcxproj) provided with the CUDD library to build a static version of the library. Make sure to use the *Relase* build configuration. After building, the static library will be loccacted in *cudd-3.0.0/lib*. You may then make your own VisualStudio projects from any example source code and link against the library.
Another option is to use the provided [VisualStudio build project](cudd-3.0.0/cudd.sln) provided with the CUDD library to build a static version of the library. After building, the static library will be loccacted in *cudd-3.0.0/lib*. You may then make your own VisualStudio projects from any example source code and link against the library.
