Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove minizinc project as it is unmaintained. (#3490) | Abhishek Arya | 2020-03-12 |
* | [presubmit] Enforce language attribute in project.yaml to be always set. (#3477) | Max Moroz | 2020-03-10 |
* | [minizinc] License header and enable bug filing MSan (#2694) | Harsil Patel | 2019-08-14 |
* | [minizinc] Initial Fuzzer (#2656) | Jip J. Dekker | 2019-08-05 |
* | [minizinc] Add initial project information for application (#2570) | Jip J. Dekker | 2019-07-05 |