Package Usage: cargo: z3-sys
Low-level bindings for the Z3 SMT solver from Microsoft Research
13 versions
Latest release: almost 2 years ago
9 dependent packages
364,870 downloads total
View more package details: https://packages.ecosystem.code.gouv.fr/registries/crates.io/packages/z3-sys