forked from Z3Prover/z3
-
Notifications
You must be signed in to change notification settings - Fork 0
The Z3 Theorem Prover
License
MoonBirdLin/z3
ErrorLooks like something went wrong!
About
The Z3 Theorem Prover
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C++ 88.4%
- Python 3.0%
- C# 2.4%
- C 1.9%
- Java 1.6%
- TypeScript 0.9%
- Other 1.8%