aboutsummaryrefslogtreecommitdiff
path: root/projects/minizinc
AgeCommit message (Expand)Author
2019-08-14[minizinc] License header and enable bug filing MSan (#2694)Harsil Patel
2019-08-05[minizinc] Initial Fuzzer (#2656)Jip J. Dekker
2019-07-05[minizinc] Add initial project information for application (#2570)Jip J. Dekker