Filewatcher File Search File Search
Catalog
Content Search
» » » » » »

minion

Fast, Scalable Constraint Solving

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.
Homepage:
Package version:0.10
Architecture:src
Distribution:Fedora
Filename:minion-0.10-10.fc17.src.rpm

Browse inside minion-0.10-10.fc17.src.rpm

896 B2014-11-27HEADER  view  412+ mirrors
14.02 MB2014-11-27minion-0.10-linux-without-nauty.tar.gz  3 mirrors
1.07 KB2014-11-27minion-0.10-patch0-add-custom-compil-flags-options.patch  view  3 mirrors
346 B2014-11-27minion-generate-tarball.sh  view  3 mirrors
3.93 KB2014-11-27minion.spec  view

Download minion-0.10-10.fc17.src.rpm

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com