MiniZinc IDE
MiniZinc IDE is a qt app (—) that uses 4 detected dependencies across 5 categories including UI Framework, Cryptography, Other. It is code-signed. 131 MB on Windows (x64). Last updated June 22, 2026. Last verified June 2026.
What is MiniZinc IDE built with?
4 detected dependencies across 5 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 FreeCompression
1Sign up to see Compression details
Sign Up FreeOther
2Sign 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 MiniZinc IDE 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 MiniZinc IDE.
Code Signing
BasicWhen was MiniZinc IDE last updated?
7 tracked releases since May 2025.
Sign up to see Release History
Sign Up FreeLast verified June 22, 2026