OndselSolver at https://github.com/Ondsel-Development/OndselSolver can do redundant constraint removal and handle under constrained systems readily using direct Gauss Elimination on sparse matrices. It is used in FreeCAD and Ondsel ES for Assembly constraints.