Common
Z3 Theorem Prover
Software for solving satisfiability problems
Z3 Theorem Prover
Z3, also known as the Z3 Theorem Prover, is a satisfiability modulo theories (SMT) solver developed by Microsoft.
Open boosters, collect cards and trade them. Free to play.
Play for free