madsim 0.1.1

Deterministic Simulator for distributed systems.
Documentation