Minion icon

Minion For Mac

2.7/5 7
Certified 100% FREE GPL   

Fast and scalable constraint solver. #Solve constraint  #Constraint solver  #Contraint solution  #Solve  #Solver  #Constraint  

Description

changelog

Free Download

MINION, is a new constraint solver, which is very fast and scales well as problem size increases. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits. These gains increase with problem size --- MINION delivers scalable constraint solving.

MINION is a general-purpose constraint solver, with an expressive input language based on the common constraint modelling device of matrix models. Focussing on matrix models supports a lean, highly-optimised implementation.

This contrasts with current constraint toolkits, which, in order to provide ever more modelling and solving options, have become progressively more complex at the cost of both performance and usability.

MINION is a black box from the user point of view, that deliberately comes with very few options. This, combined with its raw speed, makes MINION a substantial step towards Puget's `Model and Run' constraint solving paradigm.

NOTE: MINION is still in the beta stage of development. Bugs can be expected.

What's new in Minion 1.7:

  • Improvements:
  • element_undefzero constraint
  • alldiff_matrix constraint
  • Minion now defaults to supporting 64-bit instead of 32-bit domains
Read the full changelog
User Comments
This enables Disqus, Inc. to process some of your data. Disqus privacy policy

Minion 1.7

add to watchlist add to download basket send us an update REPORT
  runs on:
Mac OS X (Intel only)
  file size:
19 MB
  2 screenshots:
Minion - screenshot #1Minion - screenshot #2
  main category:
Math/Scientific
  developer:
  visit homepage