qualitative spatio-temporal reasoning toolbox