Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/owickstrom/z3-lab
https://github.com/owickstrom/z3-lab
Last synced: 4 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/owickstrom/z3-lab
- Owner: owickstrom
- Created: 2024-05-21T03:43:44.000Z (6 months ago)
- Default Branch: main
- Last Pushed: 2024-05-22T13:36:43.000Z (6 months ago)
- Last Synced: 2024-05-22T14:42:46.748Z (6 months ago)
- Language: Python
- Size: 7.81 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# z3 lab
Various stuff with Z3 and Python.
Dependencies:
* Nix
* Direnv
Get started:
```
$ direnv allow .
$ python3 peer.py
```
References:
* https://www.semanticscholar.org/paper/A-Peer-Architecture-for-Lightweight-Symbolic-Bruni-Disney/4241c79812e6b4de5a57ff9ef92331bea19850b4