- libz3-dev (= 4.4.1-1~deb10u1)
- libmono-corlib4.5-cil (>= 5.18.0.240)
- libmono-system-numerics4.0-cil (>= 5.16.0.220)
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its .NET API.
Installed Size: 210.9 kB
Architectures: arm64 amd64