raftmodel 0.1.2

A logic model for the raft consensus algorithm
Documentation