This website requires JavaScript.
Explore
Help
Sign In
rpms
/
z3
Watch
2
Star
0
Fork
You've already forked z3
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
f39
z3
/
README.md
192 B
Raw
Permalink
Blame
History
z3
Z3
is a theorem prover from Microsoft Research. If you are not familiar with Z3, you can start
here
.