I'm curious if someone would know where to point me?<p>There's many problems I would like to solve using some sort of model definition with constraints given, and variable(s) to optimize. Either to aid in guiding the design of a system, or using generative design.<p>Example:<p><pre><code> - Electrical power, voltage and amperage constraints along with physical size constraints, in a circuit model.
- Data size and throughput and concurrency constraints in a distributed system models.
</code></pre>
I have a feeling there must be well known techniques and/or tools to do these kind of general purpose constraint modelling, but I can't put my finger on it. The closest that comes to mind is using Prolog, but I've only used it with boolean type of constraints.