MiniZincIDE
No description set
- Sources inherited from project science
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:redwil:15.4/MiniZincIDE && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| 0001-Fix-missing-return-statement.patch | 0000001786 1.74 KB | |
| MiniZincIDE-2.8.2.tar.gz | 0000835086 816 KB | |
| MiniZincIDE.changes | 0000001153 1.13 KB | |
| MiniZincIDE.spec | 0000002317 2.26 KB | |
| cp-profiler-integration-f16b3132df33.tar.gz | 0000005219 5.1 KB |
Latest Revision
Stefan Brüns (StefanBruens)
accepted
request 1135909
from
Stefan Brüns (StefanBruens)
(revision 4)
- Update to version 2.8.2: https://www.minizinc.org/doc-2.8.2/en/changelog.html
Comments 0