CoolSolve Library