This repository contains high-level and low-level Rust bindings for the Z3 solver.
The z3 crate provides high-level bindings to the Z3 solver. It is built on top of, and wraps, the z3-sys crate. This is the crate you'll want to use 99% of the time.
The z3-sys crate provides the raw, unsafe, low-level C API that Z3 exposes.
z3-sys instead of z3?
The first scenario where it makes sense to use z3-sys directly is when some Z3 feature isn't wrapped into high-level bindings in the z3 crate yet. In this case, it is worth filing an issue and discussing its implementation in the z3 crate, but you can get at the raw, underlying features via the z3-sys crate in the meantime.
The only other time to use z3-sys directly would be if you are writing your own custom high-level API for Z3, instead of using the z3 crate.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4