Skip to content

MikolasJanota/z3

About

The Z3 Theorem Prover

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 87.7%
  • Python 3.6%
  • C# 2.9%
  • Java 2.0%
  • C 1.8%
  • OCaml 1.2%
  • Other 0.8%