Home › Development › G12 MiniZinc Distribution

G12 MiniZinc Distribution

By NICTA

Rating:

0/5 (0)

License type: Freeware

Latest version: 1.6

Last updated: November 7th, 2014

This review applies to version 1.3.

MiniZinc is a medium-level constraint modelling language. It is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily...

Main window

Related programs:

HTML Help Workshop 4.7
With this tool you can create help files for Windows applications and web pages
WinDirStat 1.1
WinDirStat 1.1 is a disk usage statistics viewer and cleanup tool.
SolveigMM Video Splitter 8.0
Split and join video or audio files without losing quality.
inFlow Inventory 3.5
Professional inventory management and reporting software for businesses.
EPANET 2.2
Simulate and run complete analysis of hydraulic systems.
Universe Sandbox 32.3
Simulate celestial bodies with real-time gravity, climate, collision, & physics.
Wondershare Flash Gallery Factory Deluxe 5.2
Easy-to-use versatile tool to create slideshows and galleries with your photos.
LinuxLive USB Creator 2.9
It lets you easily create bootable virtualized USB sticks running Linux.
Free MKV Player 6.6
Free MKV Player is a video player that lets you play Matroska Video files.
PDF Compressor 5.5
Reduce the size of multiple PDF documents in batch mode.