raftmodel 0.1.3

A logic model for the raft consensus algorithm
Documentation