Lyapunov function synthesis — Algorithm and software