TADA: A Toolkit for Approximate Distributed Agreement. - Eduardo Lourenço da Conceição; Ana Nunes Alonso; Rui Carlos Oliveira; José Pereira 001 (Sci. Comput. Program., 2024)