- Name: minion
- Version: 0.14
- Release: 1.fc17
- Epoch:
- Group: Development/Libraries
- License: GPLv2+
- Url: http://minion.sourceforge.net/
- Summary: Fast, Scalable Constraint Solving
- Architecture: i686
- Size: 46898129
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
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.
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables
- Cookie:
- Buildhost: buildvm-33.phx2.fedoraproject.org
Other version of this rpm: