Instructions for compiling SHOT are available in docs/CompilationInstructions.md.

Updated installation instructions are also available at the project web site:

https://www.shotsolver.dev
