Package Usage: cargo: z3
High-level rust bindings for the Z3 SMT solver from Microsoft Research
19 versions
Latest release: almost 2 years ago
12 dependent packages
318,126 downloads total
View more package details: https://packages.ecosystem.code.gouv.fr/registries/crates.io/packages/z3