Built for performance. Built for reliability. Built for enterprise.
303 MLips on modern hardware. JIT compilation to native code for x86 platforms.
Full ISO/IEC 13211-1 compliance including all technical corrigenda.
Award-winning constraint programming. 5 MiniZinc Challenge medals.
Windows, Linux, macOS. 32-bit and 64-bit architectures supported.
C/C++, Java, .NET, Tcl/Tk, ODBC, XML, JSON integration.
Eclipse-based development environment with debugging and profiling.