Comum · Literatura
Z3 Theorem Prover
Software for solving satisfiability modulo theories
Texto em inglês
Z3, also known as the Z3 Theorem Prover, is a satisfiability modulo theories (SMT) solver developed by Microsoft.
Texto: Wikipédia em inglês, CC BY-SA 4.0. ·