Also known as GAMS
high-level modeling system for mathematical optimization, designed for modeling and solving linear, nonlinear, and mixed-integer optimization problems
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).