| Name : minion
| |
| Version : 1.6.1
| Vendor : Fedora Project
|
| Release : 10.fc23
| Date : 2015-07-29 23:12:11
|
| Group : Development/Libraries
| Source RPM : minion-1.6.1-10.fc23.src.rpm
|
| Size : 60.66 MB
| |
| Packager : Fedora Project
| |
| Summary : Fast, Scalable Constraint Solving
|
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.
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/23/Everything/i386/os/Packages/m |
