A tool that finds valid solutions to problems with multiple constraints, used here to verify mechanical assembly feasibility.