TriSolver Notes