Installing CryptoMiniSat on your own computer

Follow the instructions on the CryptoMiniSat GitHub page in the section labeled “Compiling in Linux.” This has worked well for us on multiple computers.

Follow the instructions on the CryptoMiniSat GitHub page in the section labeled “Compiling in Mac OSX,” but the catch that we have run into is that OS X doesn’t include necessary libraries that it used to. For some versions of OS X but not all, students have resolved this by:

• Installing XCode command line tools
• Installing the /usr/include folder, which the command line tools don’t always automatically install. That file has sometimes been here:

/Library/Developer/CommandLineTools/Packages/macOS_SDK_headers_for_macOS_10.14.pkg

… but it depends significantly on which version of OS X you’re running. If you have recommended fixes for other versions of OS X, post them to Slack and I can update this page.

• If you cannot easily get this installed on your own computer, don’t waste a lot of time on it. Use the computers in Olin 310, or connect remotely to mantis. Here are instructions on doing remote development with VSCode.

We haven’t tried it. There are directions on the CryptoMiniSat webpage, so if you like try it and see how it goes, but my strong recommendation is to use WSL instead.