Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/owickstrom/z3-lab


https://github.com/owickstrom/z3-lab

Last synced: about 1 month ago
JSON representation

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