| Crates.io | raftmodel |
| lib.rs | raftmodel |
| version | 0.1.3 |
| created_at | 2021-07-17 04:37:37.21925+00 |
| updated_at | 2021-07-17 04:48:38.15133+00 |
| description | A logic model for the raft consensus algorithm |
| homepage | |
| repository | https://github.com/jkabc123/ruraft |
| max_upload_size | |
| id | 423852 |
| size | 71,328 |
raftmodel aims to provide the rust implementations of logic model for the raft consensus algorithm.
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).