|
|
|
|
|
|
by mzl
356 days ago
|
|
|
You might be interested in looking at MiniZinc (https://minizinc.org/) which is an open source modelling language for combinatorial problems. The system comes from a constraint programming background but the language is solver agnostic can be used to compile into many different types of solvers. |
|
|