FSMlib A C++ library for handling Finite-State Machines, their testing and learning. Contact: michal.soucha@gmail.com