Z3

Topic | v1 | created by jjones |
Edit
bookmark
Description

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

Source en.wikipedia.org/?curid=62474553
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