Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / philzook58 / z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/philzook58%2Fz3_tutorial
Stars: 147
Forks: 19
Open Issues: 1
License: None
Language: Jupyter Notebook
Repo Size: 1.19 MB
Dependencies:
3
Created: over 4 years ago
Updated: about 2 months ago
Last pushed: 7 months ago
Last synced: about 1 month ago
Topics: formal-methods, jupyter, smt, smt-solver, tutorial, z3
Funding links: https://github.com/sponsors/philzook58
Files
Dependencies
- matplotlib *
- numpy *
- z3-solver *