z3.rs
Rust bindings for the Z3 solver.
File Explorer
Download Latest Version (.zip)- config.toml
- release-plz.yml
- release-z3-src.yml
- rust.yml
- main.rs
- Cargo.toml
- algebraic.rs
- array.rs
- bool.rs
- bv.rs
- char.rs
- datatype.rs
- dynamic.rs
- float.rs
- int.rs
- mod.rs
- polynomial.rs
- real.rs
- regexp.rs
- rounding_mode.rs
- seq.rs
- set.rs
- string.rs
- constructor.rs
- mod.rs
- handle.rs
- mod.rs
- mod.rs
- ast_vector.rs
- callbacks.rs
- config.rs
- context.rs
- fixedpoint.rs
- func_decl.rs
- func_entry.rs
- func_interp.rs
- goal.rs
- lib.rs
- model.rs
- ops.rs
- optimize.rs
- params.rs
- pattern.rs
- probe.rs
- quantifier_elimination.rs
- rec_func_decl.rs
- solver.rs
- sort.rs
- statistics.rs
- symbol.rs
- tactic.rs
- version.rs
- algebraic_tests.rs
- ast_vector_tests.rs
- datatype_builder_tests.rs
- lib.rs
- objectives.rs
- ops.rs
- optimize_get_assertions.rs
- optimize_model_handler.rs
- optimize_translate.rs
- quantifier_elimination_tests.rs
- semver_tests.rs
- Cargo.toml
- CHANGELOG.md
- LICENSE.txt
- README.md
- lib.rs
- Cargo.toml
- CHANGELOG.md
- README.md
- z3
- enums.rs
- functions.rs
- functions_patched.rs
- lib.rs
- types.rs
- lib.rs
- bindgen_transform.rs
- build.rs
- Cargo.toml
- CHANGELOG.md
- LICENSE.txt
- README.md
- wrapper.h
- .gitignore
- .gitmodules
- Cargo.toml
- README.md
- release-plz.toml
# Installation Guide
1. Get the code
git clone https://github.com/prove-rs/z3.rs
Downloads the entire project code from GitHub to your computer.
cd z3.rs
Moves into the project folder you just downloaded.
2. Rust
Medium RecommendedPrerequisites
- Git Needed to download the project code from GitHub.
- Rust (rustup) Installing via rustup also installs cargo.
cargo build --release
Compiles the Rust project.
cargo run
Builds and then immediately runs the program.
If cargo build finishes without errors, it worked. The executable is created under target/.
// repository documentation
Was this content helpful?
(0 ratings)