ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness. (by microsoft)
z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver (by philzook58)
| ivy | z3_tutorial | |
|---|---|---|
| 1 | 1 | |
| 200 | 147 | |
| - | - | |
| 6.5 | 0.0 | |
| over 3 years ago | 6 months ago | |
| C++ | Jupyter Notebook | |
| GNU General Public License v3.0 or later | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ivy
Posts with mentions or reviews of ivy.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-01-30.
-
Software Verification and Analysis Using Z3
- Ivy: https://github.com/microsoft/ivy
z3_tutorial
Posts with mentions or reviews of z3_tutorial.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-01-30.
-
Software Verification and Analysis Using Z3
I'm giving a tutorial in a couple of days. Vids will be up later.
https://github.com/philzook58/z3_tutorial
What are some alternatives?
When comparing ivy and z3_tutorial you can also consider the following projects:
lean4 - Lean 4 programming language and theorem prover
stainless - Verification framework and tool for higher-order Scala programs
intro-to-python - [READ-ONLY MIRROR] An intro to Python & programming for wanna-be data scientists
souper - A superoptimizer for LLVM IR