Go to file

Fedora Release Engineering 4a9d6bf0fd - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>		2022-01-22 05:46:08 +00:00
.gitignore	Put cmake files in the lookaside cache instead of in git.	2020-05-15 10:42:32 -06:00
README.md	Version 4.8.13.	2021-11-19 12:28:26 -07:00
sources	Version 4.8.14. Conditionalize the %check script.	2021-12-24 11:30:57 -07:00
z3-python.patch	Fix the python interface (bz 1910923).	2020-12-26 07:44:31 -07:00
z3.rpmlintrc	New upstream version.	2019-11-21 14:44:32 -07:00
z3.spec	- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild	2022-01-22 05:46:08 +00:00

z3

Z3 is a theorem prover from Microsoft Research. If you are not familiar with Z3, you can start here.