MINION
Details
| Last Update: | 2008-01-17 17:01:13 |
| Version: | 0.5.0 |
| License/Program Type: | GPL (GNU General Public License) |
| Publisher: | Minion Team |
| Price: | $0.00 |
Description:
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-optimized 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, deliberately
providing few options. This, combined with its raw speed, makes
MINION a substantial step towards Puget's `Model and Run'
constraint solving paradigm.
MINION is still in the beta stage of development. Bugs can be
expected. However we endeavor to fix bugs promptly after they have
been reported.
What's New in This Release:
New features include:
· A new easier to use (but still low level) input
language.
· A translator from the ESSENCE' language to this new
input language.
· Several constraint improvements.
· A new on-line manual.
· New variable orderings, including
smallest-domain-first and conflict.
· The ability to print solutions to an easy-to-parse
file.
0 comments
Add to
MINION Version History
Related Software
|
|
From category: Visualization |
| Brabosphere 1.0.0 is visualization software developed by Ben Swerts. Brabosphere is an OpenSource program for the 3D visualisation of molecular systems and their properties. Brabosphere\'s name is... |
|
|
From category: Image-Recognition |
| ADS Dexter 0.40 is image recognition software developed by Markus Demleitner. The following is an excerpt from a poster presented at the American Astronomical Society\'s 2000 Summer meeting in Roch... |
|
|
From category: Mathematics |
| Calcc 0.1.1a is mathematics software developed by Luigi Auriemma. Calcc is a useful command-line calculator (32/64 bit numbers) which supports multiple input and output formats (hex, decimal, octal... |
|
|
From category: Mathematics |
| ConvertAll 0.4.0 is mathematics software developed by Doug Bell. ConvertAll allows you to combine the units any way you want. If you want to convert from inches per decade, that\'s fine. Or... |
|
|
From category: Visualization |
| boinc can be used as a console tool to display information about BOINC projects and working units.... |
|
|
From category: Mathematics |
| Freeplot 0.0.1 Alpha is mathematics software developed by Davidlohr Bueso Arnet. FreePlot is a simple mathematical program that plots 2-D functions written in Python. Freeplot provides an easy to u... |
|
|
From category: Neuroscience |
| Cell Electrophysiology Simulation Environment 1.4.5 is neuroscience software developed by Sergey Missan. Cell Electrophysiology Simulation Environment (CESE) is a comprehensive framework specifical... |
|
|
From category: Artificial-Intelligence |
| aiParts 0.8.5 is artificial intelligence software developed by Brian Marshall. aiParts is a set of C++ classes that implement artificial intelligence techniques and some tiny sample programs.... |
|
|
From category: Chemistry |
| Bist 0.4.4 is chemistry software developed by Valerio Benfante. Bist stands for bidimensional structures (in italian it sounds like \"beast\" in english ) and is a chemical drawing tool. It is focu... |
|
|
From category: Artificial-Intelligence |
| PySWIP is a Python/SWI-Prolog bridge that enables you to query in prolog using SWI-Prolog in your Python programs.... |
|
|
From category: Visualization |
| FXPlot is a small set of widgets for scientific plotting in 2D.... |
|
|
From category: Electronic-Design-Automation |
| Electric 8.04 is electronic design automation ( software developed by Steven M. Rubin. Electric VLSI Design System is a complete Electronic Design Automation (EDA) system that can handle many forms... |
|
|
From category: Visualization |
| Cvtool is a general-purpose computer vision tool.... |
|
|
From category: Mathematics |
| FrAid is an interface to Java for math processing and a complete Matlab-like system.... |
|
|
From category: Artificial-Intelligence |
| EpiGrass 1.4.6 is artificial intelligence software developed by Flavio Codeco Coelho. EpiGrass is a simulator of epidemics over networks. EpiGrass is a scientific tool created for simulations and s... |
Leave a comment