Fri, 21 Jun 2024 00:41:52 UTC | login

Information for RPM minion-1.6.1-23.fc30.src.rpm

ID319095
Nameminion
Version1.6.1
Release23.fc30
Epoch
Archsrc
SummaryFast, Scalable Constraint Solving
DescriptionMINION 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.
Build Time2018-12-08 05:50:29 GMT
Size4.09 MB
31b332f1f5a0300adb60a0ebc80f3cf9
LicenseGPLv2+
Buildrootf30-build-39307-22555
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
boost-devel
bzip2-devel
cmake
doxygen
gcc-c++
graphviz
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
zlib-devel
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
minion-1.6.1-linux-without-nauty.tar.gz6.97 MB
minion-1.6.1-patch0-add-custom-compil-flags-options.patch1.04 KB
minion-generate-tarball.sh348.00 B
minion.spec7.65 KB
Component of No Buildroots