z3-solver python library

z3-solver

Subscription: Developer
Last updated 14 days ago
Active
Subscription: Developer

an efficient SMT solver library that supports bitvectors, booleans, arrays, floating point numbers, strings, and other data types, providing a powerful tool for theorem proving and solving satisfiability problems.

pip install z3-solver==5.0.0.0
  • 5.0.0.0
    Linux
    Last updated 14 days ago
  • 4.15.4.0
    Linux
    Last updated 2 months ago