The following software is required:

• The latest version of stable Rust, installed using rustup.
• A C/C++ compilation toolchain and libraries:
  • Debian, Ubuntu and derivatives: sudo apt install build-essential libclang-dev
  • Fedora: sudo dnf group install c-development and sudo dnf install clang-devel

• Conjure.
  • Ensure that Conjure is placed early in your PATH to avoid conflicts with ImageMagick’s conjure command!
• Z3, one of the solver backends, requires a separate install. Using a package installer (e.g. apt), install Z3.

The following software is required:

• the latest version of stable Rust, installed using rustup.
• an XCode Command Line Tools installation (installable using xcode-select --install)
• CMake: brew install cmake (for SAT solving)
• Conjure.
• Z3, one of the solver backends, requires a separate install. Using a package installer, install Z3 (e.g. for Homebrew run brew install z3).

If you are having issues with Z3, you may need to update ~/.cargo/config.toml to ensure the Z3_LIBRARY_PATH_OVERRIDE and Z3_SYS_Z3_HEADER environment variables are pointed to the right library path and z3.h file that you installed.

1. Download and install the pre-built binaries for Conjure. Place these in /cs/home/<username>/usr/bin or elsewhere in your $PATH.

2. Install rustup and the latest version of Rust through rustup. The school provided Rust version does not work.

   • By default, rustup installs to your local home directory; therefore, you may need to re-install rustup and Rust after restarting a machine or when using a new lab PC.

3. Install z3, one of the solver backends. You may have to build it from source, and then add the binary to your path.

To add a binary to your PATH in a way that persists every time you log out, run:

mkdir -p /cs/home/$USER/.paths.d`
echo ~/Documents/... > /cs/home/$USER/.paths.d/z3
// where the "..." is the path to your compiled z3 binary