z3 0.11.2

High-level rust bindings for the Z3 SMT solver from Microsoft Research
Documentation

z3

This version has 4 feature flags, 1 of them enabled by default.

default

    This feature flag does not enable additional features.

  • z3-sys/static-link-z3

arbitrary-size-numeral

  • num

num

    This feature flag does not enable additional features.