aboutsummaryrefslogtreecommitdiffhomepage
path: root/projects/minizinc
Commit message (Expand)AuthorAge
* [minizinc] License header and enable bug filing MSan (#2694)Gravatar Harsil Patel2019-08-14
* [minizinc] Initial Fuzzer (#2656)Gravatar Jip J. Dekker2019-08-05
* [minizinc] Add initial project information for application (#2570)Gravatar Jip J. Dekker2019-07-05