Solver
manifold
utility
