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