Z3Prover

Microsoft.Z3
by: Microsoft Z3Prover
- .NET Standard 2.0
- 162,986 total downloads
- last updated 5/12/2023
- Latest version: 4.12.2
- smt constraint solver theorem prover
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
Microsoft.Z3.x86
by: Microsoft Z3Prover
- .NET Standard 2.0
- 65,641 total downloads
- last updated 5/12/2023
- Latest version: 4.12.2
- smt constraint solver theorem prover
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed