A Short Intro to Constraints
I'm curious if someone would know where to point me?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.Example:    - 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.

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.