Be sure that the
z3 executables are in your
The only way to use
flux is to build it from source.
First you need to clone the repository
git clone https://github.com/flux-rs/flux cd flux
To build the source you need a nightly version of
We pin the version using a toolchain file (more info here).
If you are using
rustup, no special action is needed as it should install the correct
rustc version and components based on the information on that file.
Next, run the following to build and install
cargo xtask install
This will install two binaries
cargo-flux in your cargo home. These two binaries should be used
respectively to run flux on either a single file or on a project using cargo. The installation process will
also copy some files to