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.
- 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.
Personally, I find the languages and methods used in constraint programming (CP) to define models the most clear, even though that is not always the best way to actaully solve the problems.
To write CP models, the MiniZinc language is quite nice and has support for using many different solvers on the back end. The MiniZinc website (https://www.minizinc.org/) has quite a lot of documentation. For an outsider perspective, Hillel Wayne wrote an interesting blog post on using MiniZinc (https://hillelwayne.com/post/minizinc/).
this is only one of many options but it’s a good one.
prolog clpfd, chr
eclipse prolog-like constraint system
answer set programming
I see further interesting graphics from the author here: https://github.com/zalo/MathUtilities
All of them are excellent graphics frameworks (though with strengths in 2D, 3D, and standalone content respectively).
this GDC talk is kinda hard to understand (at least for me)