Not to be confused with `lia-solver-fast which used SiMD and I couldn't get to work :)
- Somewhat recent version of
Cargo
andRust
, see Installing Rust
cargo build --release
The binary can then be found at target/release/lia-solver-slow
./target/release/lia-solver-slow <input file>
-
Install rustup.rs - The Rust toolchain installer from your distributions package management or using the shell command at the link above.
-
Install Rust by running
rustup install