Crux binaries for Linux and macOS are available from the GitHub releases page. Binaries are distributed as
.zip files which you can extract to a location of your choice. We expect to include Windows binaries in an upcoming release.
Crux is also available on DockerHub and can be fetched using one of the following commands:
docker pull galoisinc/crux-llvm:0.4 docker pull galoisinc/crux-mir:0.4
Crux can make use of a variety of external SMT solvers, including Boolector, CVC4, Yices, and Z3. These solvers can be downloaded from their respective developers at the locations below.
Crux is freely available under the 3-clause BSD license.