Rare card
Z3 Theorem Prover
- Value
- 50 W
- Attack
- 809
- Defence
- 647
- Players
- 0
Z3, also known as the Z3 Theorem Prover, is a satisfiability modulo theories (SMT) solver developed by Microsoft.
Get Z3 Theorem Prover in your collection
Every Wikilord card is a Wikipedia article. Open packs for free, trade, battle and climb the leaderboard.
Open a free pack