I‘m looking for a stable paxos implementation in C++. Since the library is comprised of different modules, how would you describe the production readiness of athena? Is it used in bigger software projects, does it handle the nasty edge cases of paxos etc?