{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"MiniZincIDE","owner":"MiniZinc","isFork":false,"description":"The MiniZinc IDE","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":21,"starsCount":142,"forksCount":22,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T03:55:11.160Z"}},{"type":"Public","name":"libminizinc","owner":"MiniZinc","isFork":false,"description":"The MiniZinc compiler","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":3,"issueCount":106,"starsCount":499,"forksCount":78,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T03:18:32.984Z"}},{"type":"Public","name":"minizinc-playground","owner":"MiniZinc","isFork":false,"description":"MiniZinc playground using WebAssembly","allTopics":["linear-programming","constraint-programming","sat-solver","minizinc","integer-programming","optimisation-problem"],"primaryLanguage":{"name":"Svelte","color":"#ff3e00"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":1,"license":"Mozilla Public License 2.0","participation":[0,0,0,0,1,2,0,2,3,2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,1,1,1,1,1,2,2,0,1,4,1,0,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T23:59:04.131Z"}},{"type":"Public","name":"minizinc.github.io","owner":"MiniZinc","isFork":false,"description":"The website for the MiniZinc constraint modelling system","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":7,"starsCount":15,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T02:17:40.946Z"}},{"type":"Public","name":"minizinc-js","owner":"MiniZinc","isFork":false,"description":"Use MiniZinc in the browser or with NodeJS","allTopics":["linear-programming","typescript-definitions","constraint-programming","sat-solver","minizinc","integer-programming","optimisation-problem","nodejs","javascript","webassembly"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":2,"issueCount":1,"starsCount":28,"forksCount":8,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T00:57:24.833Z"}},{"type":"Public","name":"mzn-bench","owner":"MiniZinc","isFork":false,"description":"A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.","allTopics":["benchmark","slurm","minizinc","cluster","minizinc-python","minizinc-benchmarks"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":0,"starsCount":5,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-19T07:38:49.343Z"}},{"type":"Public","name":"minizinc-python","owner":"MiniZinc","isFork":false,"description":"Access to all MiniZinc functionality directly from Python","allTopics":["python","linear-programming","constraint-programming","sat-solver","minizinc","integer-programming","optimisation-problem"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":8,"issueCount":6,"starsCount":146,"forksCount":21,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-19T01:02:58.492Z"}},{"type":"Public","name":"docker-build-environment","owner":"MiniZinc","isFork":false,"description":"A set of docker images for a MiniZinc build environment","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T03:12:18.587Z"}},{"type":"Public","name":"mzn-challenge","owner":"MiniZinc","isFork":false,"description":"An archive repository containing the MiniZinc instances used for the MiniZinc Challenge","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T05:53:13.371Z"}},{"type":"Public","name":"specialization-examples","owner":"MiniZinc","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":13,"issueCount":1,"starsCount":66,"forksCount":62,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-01T03:22:55.233Z"}},{"type":"Public","name":"cpp-integration","owner":"MiniZinc","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-17T00:34:03.172Z"}},{"type":"Public","name":"mzn-challenge-tests","owner":"MiniZinc","isFork":false,"description":"Test suite used to validate MiniZinc Challenge solver entries","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-06T23:50:33.370Z"}},{"type":"Public archive","name":"minizinc-doc","owner":"MiniZinc","isFork":false,"description":"MiniZinc documentation","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":9,"starsCount":16,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-09T03:21:45.596Z"}},{"type":"Public","name":"MiniSearch","owner":"MiniZinc","isFork":false,"description":"the source code for the MiniSearch meta-search language","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":5,"starsCount":5,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-14T05:11:09.898Z"}},{"type":"Public","name":"minizinc-benchmarks","owner":"MiniZinc","isFork":false,"description":"A suite of MiniZinc benchmarks.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":4,"issueCount":4,"starsCount":82,"forksCount":29,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-09T15:04:44.400Z"}},{"type":"Public","name":"minizinc-old","owner":"MiniZinc","isFork":false,"description":"MiniZinc 1.6","allTopics":[],"primaryLanguage":{"name":"Mercury","color":"#ff2b2b"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-11T02:00:52.904Z"}},{"type":"Public","name":"iminizinc","owner":"MiniZinc","isFork":false,"description":"IPython / Jupyter notebook magic","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":21,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-07T06:30:03.788Z"}},{"type":"Public","name":"minizinc-examples","owner":"MiniZinc","isFork":false,"description":"small MiniZinc examples demonstrating various language features","allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":1,"starsCount":119,"forksCount":26,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-11T00:34:04.111Z"}}],"repositoryCount":18,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"MiniZinc repositories"}