Sophie

Sophie

distrib > Fedora > 13 > i386 > media > updates-src > by-pkgid > ba3194bc5c521e561e61650768cf2729

minion-0.10-4.fc13.src.rpm

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.

Generated packages:

Other version of this rpm: