Común · Literatura
Z3 Theorem Prover
Software for solving satisfiability modulo theories
Texto en inglés
Z3, also known as the Z3 Theorem Prover, is a satisfiability modulo theories (SMT) solver developed by Microsoft.
Texto: Wikipedia en inglés, CC BY-SA 4.0. ·