TACO: A Toolsuite for the Verification of Threshold Automata. - Paul Eichler 001; Tom Baumeister; Mouhammad Sakr; Mahboubeh Kalateh Dowlati; Marcus Völp; Swen Jacobs (CoRR, 2026)