Ariadne: a library for computing with hybrid automata