Skip to content

perillaseed/z3

About

The Z3 Theorem Prover

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 87.9%
  • Python 3.4%
  • C# 2.9%
  • Java 2.1%
  • C 1.9%
  • OCaml 1.6%
  • Other 0.2%