raftmodel aims to provide the rust implementations of logic model for the raft consensus algorithm.

The big picture

This is a crate to provide a pure logic model for the raft algorithm. It aims to strictly follow raft formal TLA+ specification (raft.tla).