Z3 Tutorial.ipynb

Resource | v1 | created by jjones on May 5, 2021 |

Type Interactive

Created 2019-12-13

Available at colab.research.google.com/github/philzook58/z3_tutorial/blob/master/Z3%20Tutorial.ipynb

Identifier unavailable

Description

unavailable

Relations

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

External link preview

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

0.0 /10

useless alright awesome

from 0 reviews

Write comment Rate resource Tip: Rating is anonymous unless you also write a comment.

Resource level 0.0 /10: beginner intermediate advanced
Resource clarity 0.0 /10: hardly clear sometimes unclear perfectly clear
Reviewer's background 0.0 /10: none basics intermediate advanced expert

Comments 0

Currently, there aren't any comments.