overconstrained truss solver implemented