Sorry, this page is no longer available

We may earn an affiliate commission when you visit our partners.

MiniZinc

Save

May 1, 2024 3 minute read

MiniZinc is a high-level modeling language for constraint satisfaction, optimization, and related problems. It allows researchers and students to specify their problem in a declarative way, while also providing a finite code generator that translates the model into a constraint programming solver.

Origins of MiniZinc

MiniZinc was first developed in 2003 by a team of researchers at the University of Melbourne, Australia. It was designed as a high-level modeling language that would make it easier for users to express their models without having to worry about the low-level details of constraint programming.

Path to MiniZinc

Take the first step.

We've curated four courses to help you on your path to MiniZinc. Use these to develop your skills, build background knowledge, and put what you learn to practice.

Sorted from most relevant to least relevant:

离散优化建模高阶篇 Advanced Modeling for Discrete Optimization

Save

离散优化建模基础篇 Basic Modeling for Discrete Optimization

Save

Basic Modeling for Discrete Optimization

Save

Solving Algorithms for Discrete Optimization

Save

Help others find this page about MiniZinc: by sharing it with your friends and followers:

Facebook

Copy Link

Reading list

We've selected three books that we think will supplement your learning. Use these to develop background knowledge, enrich your coursework, and gain a deeper understanding of the topics covered in MiniZinc.

Programming Constraint Services

Save

Provides a comprehensive overview of constraint programming with MiniZinc. It covers the basics of constraint programming as well as more advanced topics such as modeling techniques and solving strategies.

Programming Constraint Services: High-Level...

Paperback

$$$

Knapsack Problems

Save

Provides a comprehensive overview of modeling and solving discrete optimization problems in MiniZinc. It good resource for anyone who wants to learn more about how to use MiniZinc to solve complex problems.

Integration of AI and OR Techniques in Constraint...

Save

This tutorial provides a comprehensive introduction to constraint programming. It covers the basics of constraint programming as well as more advanced topics such as modeling techniques and solving strategies. The tutorial also includes a number of exercises that help readers to practice their skills.

Integration of AI and OR Techniques in Constraint...

Paperback

$$$

Relevant careers

Operations Research Analyst

Industrial Engineer

Researcher

Logistician

Software Engineer

Data Analyst

Systems Analyst

Planner

Management Consultant

Financial Analyst

Share this

Share to help others explore MiniZinc:

Facebook

Link

Table of Contents

Our mission

OpenCourser helps millions of learners each year. People visit us to learn workspace skills, ace their exams, and nurture their curiosity.

Our extensive catalog contains over 50,000 courses and twice as many books. Browse by search, by topic, or even by career interests. We'll match you to the right resources quickly.

Find this site helpful? Tell a friend about us.

Affiliate disclosure

We're supported by our community of learners. When you purchase or subscribe to courses and programs or purchase books, we may earn a commission from our partners.

Your purchases help us maintain our catalog and keep our servers humming without ads.

Thank you for supporting OpenCourser.