MiniZincIDE
by Guido Tack
MiniZincIDE is a qt app (v2.9.7) that uses 14 detected dependencies across 6 categories including UI Framework, Cryptography, Other. It is code-signed and notarized. 252 MB on macOS (Universal (Apple Silicon + Intel)). Last updated June 21, 2026. Last verified June 2026.
What is MiniZincIDE built with?
14 detected dependencies across 6 categories.
UI Framework
1Sign up to see UI Framework details
Sign Up FreeCryptography
1Sign up to see Cryptography details
Sign Up FreeSerialization
1Sign up to see Serialization details
Sign Up FreeDatabase
1Sign up to see Database details
Sign Up FreeCompression
1Sign up to see Compression details
Sign Up FreeOther
4Sign up to see Other details
Sign Up FreeDot shows detection confidence; hover a technology for its evidence source. Higher confidence means a stronger extraction signal (e.g. a manifest entry vs. a binary string match).
Analyzed binary
SHA-256 of the exact binary MiniZincIDE was analyzed from.
No signal
No signal — this field was not captured in the extraction on record. It is populated on re-extraction, not absent from the app.
Security and privacy
Code signing, notarization, and entitlement analysis for MiniZincIDE.
Code Signing
ExcellentDeveloper ID Application: Guido Tack (8545YFG77T)
How popular is MiniZincIDE?
Popularity ranking based on install counts, store ratings, and community signals.
Sign up to see Detailed Popularity Data
Sign Up FreeWhen was MiniZincIDE last updated?
20 tracked releases since February 2023.
Sign up to see Release History
Sign Up FreeLast verified June 21, 2026