- Name: minion
- Version: 0.10
- Release: 5.fc15
- Epoch:
- Group: Development/Libraries
- License: GPLv2+
- Url: http://minion.sourceforge.net/
- Summary: Fast, Scalable Constraint Solving
- Architecture: x86_64
- Size: 42577510
- 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 -m64 -mtune=generic
- Cookie:
- Buildhost: x86-04.phx2.fedoraproject.org
Sources packages:
Other version of this rpm:
