Age | Commit 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 |