MiniZinc is a free and open-source constraint modeling language.
There are no reported issues during the last 24h.
Use the 'Report an Issue' button to report any issues you may have with the service.
Check out our list of MiniZinc alternatives.
Community feedback on MiniZinc's status
Do you have any problems with the service or want to share a tip?
MiniZinc Alternatives
When MiniZinc is down, try these alternatives
-
Auto arrange all your app windows, whether on one screen or many with a single click!
-
Mathematical optimization software
-
Hyperon is a BRMS, that was created with very large decisions and hyper-performance in mind. It stands out with the concept of the business domain which organizes the whole configuration in easy to manage way.
-
Business rule engine that lets you create and deploy business rules, while all your rules run in a secure and scalable cloud. Unlike other rule engines, you can create your first rule in 5 minutes and make 100k decisions in a minute via API.
-
Ruote is a workflow engine written in Ruby. Ruote is not a state machine library.
-
Drools introduces the Business Logic integration Platform which provides a unified and integrated platform for Rules, Workflow and Event Processing.
-
Business Rule Management System (BRMS)
-
jsprit is a java based, open source toolkit for solving rich vehicle routing problems.
-
Auto arrange all your app windows, whether on one screen or many with a single click!
Related status pages
SmartWindows.app status · OptaPlanner status · Higson.io status · DecisionRules.io status · Ruote status · Drools status · NxBRE status · jsprit status · SmartWindows.app status ·Status Check FAQ
-
Why our public status pages are better than others?
We rely on both automated checks and user reported issues.
-
How often do you check if a service is down?
If there are reported issues or interest in a specific service, we might check as frequently as every minute. However, we may check less frequently for services with less interest or fewer reported issues. For example, once every hour.
-
What is the best way to report an issue?
The easiest way to report an issue is to use the single-click light-yellow buttons at the top of this page. They represent the most common issues and are the fastest way to report an issue. Nevertheless, you can also use the 'Report an Issue' button or link at the top to report any issue you may have with the service. Also, you are more than welcome to use the comments box and discuss any tips, solutions or resolutions with the community.
SaaSHub's Down Detector checks the status of services automatically and regularly. However, we cannot promise 100% accuracy. That is why we depend on user reported issues as well. The MiniZinc status here can help you determine if there is a global outage and MiniZinc is down for everyone or if it is just you who is experiencing problems. Please report any issues to help others know the current status.