State-of-the-art. ISO compliant. Blazing fast. Enterprise ready. The future of logic programming.
Download Now303 MLips. JIT compilation. Native code. Blazing fast.
Full ISO/IEC 13211-1. Every corrigendum. Portable code.
Constraint solving. Award-winning. 5 MiniZinc medals.
Windows. Linux. macOS. 32-bit. 64-bit. Deploy anywhere.
C++. Java. .NET. Tcl/Tk. ODBC. XML. JSON. Everything.
Eclipse IDE. Debug. Profile. Analyze. Ship.