This website requires JavaScript.
Explore
SSH Host Keys
OBS
Help
Sign In
science
/
MiniZincIDE
SHA256
Watch
10
Star
0
Fork
0
You've already forked MiniZincIDE
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
9
Commits
1
Branch
0
Tags
main
Go to file
Add File
New File
Upload File
Apply Patch
Code
Clone
HTTPS
Tea CLI
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Download ZIP
Download TAR.GZ
Download BUNDLE
Stefan Brüns
0396ec929d
OBS-URL:
https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=9
2025-01-18 07:07:05 +00:00
.gitattributes
Accepting request 973796 from home:StefanBruens:branches:science
2022-04-30 14:10:12 +00:00
.gitignore
Accepting request 973796 from home:StefanBruens:branches:science
2022-04-30 14:10:12 +00:00
0001-Fix-missing-return-statement.patch
Accepting request 973796 from home:StefanBruens:branches:science
2022-04-30 14:10:12 +00:00
cp-profiler-integration-f16b3132df33.tar.gz
Accepting request 973796 from home:StefanBruens:branches:science
2022-04-30 14:10:12 +00:00
MiniZincIDE-2.8.7.tar.gz
OBS-URL:
https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=8
2025-01-18 06:05:24 +00:00
MiniZincIDE.changes
OBS-URL:
https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=9
2025-01-18 07:07:05 +00:00
MiniZincIDE.spec
OBS-URL:
https://build.opensuse.org/package/show/science/MiniZincIDE?expand=0&rev=5
2025-01-18 06:01:10 +00:00
Description
No description provided
45
KiB
Languages
Diff
100%
