FSMlib A C++ library for handling Finite-State Machines, their testing and learning. Contact: [email protected]