aboutsummaryrefslogtreecommitdiff
path: root/math/minizinc-solvers
Commit message (Expand)AuthorAgeFilesLines
* math/minizinc-solvers: Add Gecode solver to metaportYuri Victorovich2021-05-041-2/+5
* minizinc-solvers: Add math/jacop solver to the metaportYuri Victorovich2021-05-041-3/+5
* New port: math/minizinc-solvers: Metaport for MiniZinc solverYuri Victorovich2021-05-042-0/+34