 |
 |
|
|
|
Download
|
Download Now GPL (GNU General Public License) Downloads till now: 12 |
Quick search
Rate this software
No. Votes
0
Linux
Archeology, Artificial Intelligence , Astronomy , Bioinformatics , Chemistry , Electronic Design Automation (, Electronic Design Automation (EDA) , Geographical , Image Recognition , Mathematics , Medical Science Apps. , Neuroscience , Visualization ,Windows
Mac
Mobile
Drivers
Scripts - DHTML
Scripts - DHTML (new)Web Developer Blog
Web Developer Blog (new)Scripts and Applications
AjaxASP
ASP.NET
C and C++
CFML
CGI and Perl
Flash
Java
JavaScript
PHP
Python
XML
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 |
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
| Product | Date Added |
|---|---|
| MINION 0.5.0 | 2008-01-17 17:01:13 |
Related Software
Brabosphere |
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... | |
ADS Dexter 0.40 |
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... | |
Calcc |
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... | |
ConvertAll |
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... | |
boinc |
From category: Visualization |
| boinc can be used as a console tool to display information about BOINC projects and working units.... | |
Freeplot |
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... | |
Cell Electrophysiology Simulation Environment |
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... | |
aiParts 0.8.5 |
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.... | |
Bist |
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... | |
PySWIP |
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.... | |
FXPlot |
From category: Visualization |
| FXPlot is a small set of widgets for scientific plotting in 2D.... | |
Electric |
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... | |
Cvtool |
From category: Visualization |
| Cvtool is a general-purpose computer vision tool.... | |
FrAid |
From category: Mathematics |
| FrAid is an interface to Java for math processing and a complete Matlab-like system.... | |
EpiGrass |
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... | |
Top Downloads
9. dmg2iso
13. SendSong
18. BSD Subsystem
DownloadTube Editor Reviews
| 1. Ots CD Scratch 1200 Deluxe |
| Ots CD Scratch 1200 - virtual turntables CD player for music... |
| 2. Ots CD Scratch 1200 |
| Ots CD Scratch 1200 - virtual turntables CD player for music... |
| 3. OtsTurntables Pro |
| OtsTurntables - virtual Turntables MP3 Mixer for Music Lover... |
| 4. OtsTurntables Free |
| OtsTurntables - virtual Turntables MP3 Mixer for Music Lover... |
| 5. OtsAV Radio Broadcaster |
| OtsAV Radio Broadcaster - the quality professional-grade aud... |
| 6. OtsAV Radio Narrowcaster |
| OtsAV Radio is a powerful playout mixing system for Radio We... |
| 7. OtsAV Radio Webcaster |
| OtsAV Radio is a powerful playout mixing system for Radio We... |
| 8. OtsAV Radio - Trial |
| OtsAV Radio is a powerful playout mixing system for Radio We... |
| 9. OtsAVFree |
| OtsAV Free comes with video, karaoke CD+G and automated beat... |
| 10. OtsAV TV Broadcaster |
| OtsAV TV Broadcaster is a quality professional-grade AV broa... |
Software Reviews Full List
Recent Blog Posts
| 1. Easy Publishing of WordPress Blogs RSS Feeds With FeedBurner |
| RSS (Really Simple Syndication) Feeds are a modern form of c... |
| 2. Automatic Installation of Joomla! on Windows With JoomlaPC |
| A convenient alternative for the development or testing of J... |
| 3. An Introduction To Joomla! Templates Creation With Adobe Dreamweaver CS3 |
| Joomla! is a content management system and framework with a ... |
| 4. Two New Firefox Stable Releases Are Available For Free Download: Firefox 3.0.2 and Firefox 2.0.0.17 |
| Recently, two Firefox stable releases for Windows, Mac OS, a... |
| 5. How To Deploy A Linux LiveCD on Windows Using MobaLiveCD |
| There are many ways to test a certain Linux distribution on ... |
| 6. Ever Needed A Free Video Converter And You Just Couldn’t Find It? Here’s Our Suggestion. |
| With so many different video (or even audio) converters arou... |
| 7. Top 101 Most Downloaded Windows Software: Free Demo Movies and Download Links |
| We often have to decide if we should download the latest v... |
| 8. A New Powerful Virus Could Affect Millions of WordPress Blogs |
| The WordPress blogging platform powers millions of web... |
| 9. Google Chrome – It’s Finally Here. Will A Revolution Begin? |
| First, it was the rumors. Then, Google announced it official... |
| 10. An Amazing Free Document Processing Software: LyX |
| The documents management task could be difficult in absence ... |
Last 20 Scripts
| 1. Glossy.js |
| Glossy.js script allows you to add corners, shading and shad |
| 2. Corner.js |
| Corner.js script helps you to create custom corners to image |
| 3. Sphere.js |
| Sphere.js script allows you to add a spherical picture effec |
| 4. Bevel.js |
| Bevel.js script allows you to add bevels (and also shading, |
| 5. jQuery Lightbox Plugin |
| jQuery Lightbox Plugin provides a way to display an image on |
| 6. jQuery Tag Suggestion Plugin |
| jQuery Tag Suggestion plugin helps you create a subset of ta |
| 7. jClock |
| jClock is a jQuery clock plugin that allows you to display c |
| 8. jqac |
| jqac is a jQuery plugin that extends jQuery namespace with a |
| 9. YUI Based Lightbox |
| YUI Based Lightbox is a lightweight implementation of a ligh |
| 10. liScroll |
| liScroll is a jQuery news ticker made easy. |
| 11. CSS Text Wrapper |
| CSS Text Wrapper allows you to generate HTML and CSS to wrap |
| 12. ImageFlow JavaScript |
| ImageFlow is a JavaScript based image galery, which allows a |
| 13. Facebox |
| Facebox is a jQuery plugin that allows you to easily impleme |
| 14. IE7 JavaScript Library |
| IE7 is a JavaScript library to make MSIE behave like a stand |
| 15. Cornerz |
| Cornerz is an image corners maker plugin for jQuery using Ca |
| 16. jQuery Autocomplete Mod |
| jQuery Autocomplete Mod helps you to manage the autocomplete |
| 17. fValidator |
| fValidator is an open source (free) unobtrusive JavaScript t |
| 18. MooTables |
| MooTables script allows you to define sortable tables with t |
| 19. DrasticCloud |
| DrasticCloud is a simple to implement tag cloud visualisatio |
| 20. DrasticGrid |
| DrasticGrid is an Ajax-based datagrid with editing support. |
Leave a comment