libtmsolve