I assume the system of equations is generated semantically based on the request. Do you have a mechanism to ensure that there is no crucial equation missing or do you have tests on how reliable the constraints are in real applications? I don't know much about electrical components and would depend solely on the output accuracy/compatibility guarantee.