summaryrefslogtreecommitdiffstats
path: root/runtime/solvers/mzn
AgeCommit message (Expand)AuthorFilesLines
2020-03-04Adding the generic solver codevrvarma2-0/+119