MultiPaxos Python implementation of Multipaxos with the following features: Proposer catch-up (crash-restart) Leaners catch-up (crash-restart) Acceptors are assumed to be always up Leader election