Z3


Topic history | v1 (current) | created by jjones

Details

Z3

| created by jjones | Add topic "Z3"
Title
Z3
Description
Z3 Theorem Prover is a cross-platform satisfiability modulo theories (SMT) solver by Microsoft.
Link
https://en.wikipedia.org/?curid=62474553

resources

treated in Z3 Tutorial.ipynb
v1 | attached by jjones | Add topic "Z3"

authors

This topic has no history of related authors.

topics

is Automated theorem prover
v1 | attached by jjones | Add topic "Z3"