A theorem prover from Microsoft Research https://github.com/Z3Prover
Go to file
2024-10-06 11:33:47 +02:00
README.md update to 4.5.0.20171128git [release 4.5.0.20171128git-1mamba;Tue Nov 28 2017] 2024-01-05 20:02:37 +01:00
z3.spec automatic version update by autodist [release 4.13.2-1mamba;Sat Oct 05 2024] 2024-10-06 11:33:47 +02:00

z3

Z3 is a theorem prover from Microsoft Research.