packages / ply

z3

Theorem prover from Microsoft Research

license: MIThttps://github.com/Z3Prover/z3

use it

[dependencies]
z3 = "4.13"

versions