z3

Sitio web

  • Libre
  • Mac
  • Windows
  • Linux
  • WebAssembly
  • C (programming language)
  • OCaml
  • Python
  • C++
  • Java
Description

Z3 es un probador de teorías de Microsoft Research

Categorías
Aplicaciones de educación y referencia

Alternativas