macOS
brew install --cask minizincidelocal Homebrew cask metadata
cask
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für minizincide in AI-Agent-Workflows.
Installation
brew install --cask minizincidelocal Homebrew cask metadata
Überblick
Open-source constraint modelling language and IDE
Sicherheitslage
Für minizincide wurde kein passendes lokales Secret-Handling-Manifest gefunden. Paketmetadaten bleiben hier veröffentlicht, damit künftige Abdeckung eine stabile Paket-URL hat.
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
minizinc | Binärdatei | Homebrew-Cask-Binärdatei | minizinc |
mzn2doc | Binärdatei | Homebrew-Cask-Binärdatei | mzn2doc |
Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
https://github.com/MiniZinc/MiniZincIDE
Installationsmetadaten
| Paketschlüssel | cask:minizincide |
|---|---|
| Version | 2.10.0 |
| Paketmanager | Homebrew Cask |
| Paketmanager-Seite | https://formulae.brew.sh/cask/minizincide |
| Homepage | https://www.minizinc.org/index.html |
| Repository | https://github.com/MiniZinc/MiniZincIDE |
| Upstream-Dokumentation | https://www.minizinc.org/index.html |
| Quellarchiv | https://github.com/MiniZinc/MiniZincIDE/releases/download/2.10.0/MiniZincIDE-2.10.0-bundled.dmg |
| SHA-256 | 6ebadfd37b8683c58a3faedd4a76173789fadd64229cca450438137414922f49 |
| Bottle | nicht erfasst |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Registry-Fakten
| Source Database | Homebrew cask API |
|---|---|
| Tap | homebrew/cask |
| Full Token | minizincide |
| Names |
|
| Depends On | |
| Artifacts | |
| Deprecated | no |
| Disabled | no |
Source-Datenbank-Treffer
Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.
minizinc
sudo port install minizincminizinc 2.9.2+dfsg1-1
constraint modelling language and tool chain
sudo apt install minizincminizinc
nix profile install nixpkgs#minizincminizinc 2.8.2+dfsg1-1build2
constraint modelling language and tool chain
sudo apt install minizincminizinc 2.8.7-1.6
A high-level constraint modelling language
sudo zypper install minizincQuellspur
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.