stateright 0.20.0

A model checker for implementing distributed systems.
Documentation 
{
  "git": {
    "sha1": "68c877ae5d9964890cb6f03cff111e7d11f07742"
  }
}