Z3


Topic | v1 | created by jjones |
Description

Z3 Theorem Prover is a cross-platform satisfiability modulo theories (SMT) solver by Microsoft.


Relations

is Automated theorem prover

Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reaso...


Edit details Edit relations Attach new author Attach new topic Attach new resource
Resources