Thu, 29 Oct 2026 01:56:07 UTC | login

Information for RPM zimpl-3.7.1-3.fc45.src.rpm

ID94065
Buildzimpl-3.7.1-3.fc45
Namezimpl
Version3.7.1
Release3.fc45
Epoch
Archsrc
DraftFalse
SummaryZuse Institut Mathematical Programming Language
DescriptionZimpl is a little language to translate the mathematical model of a problem into a linear or nonlinear (mixed-) integer mathematical program expressed in .lp or .mps file format which can be read and (hopefully) solved by a LP or MIP solver. This package contains a command-line tool to access ZIMPL functionality.
Build Time2026-10-18 08:13:57 GMT
Size4.90 MB
865e3134fa8fa52ec854baaf3db6510c
LicenseLGPL-3.0-or-later AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later
git:https://github.com/scipopt/zimpl.git
Buildrootf45-build-39415-734
Provides
libzimpl = 3.7.1-3.fc45
libzimpl-devel = 3.7.1-3.fc45
zimpl = 3.7.1-3.fc45
zimpl-debuginfo = 3.7.1-3.fc45
zimpl-debugsource = 3.7.1-3.fc45
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
bison
cmake
cmake-rpm-macros
flex
gcc
pkgconfig(gmp)
pkgconfig(zlib-ng)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(DynamicBuildRequires) <= 4.15.0-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 6 of 6
Name ascending sort Size
zimpl-3.7.1.tar.gz5.03 MB
zimpl-cddlib-set-clash.patch11.83 KB
zimpl-shared.patch4.03 KB
zimpl-test-bsearch.patch576.00 B
zimpl-zlib-ng.patch2.12 KB
zimpl.spec6.60 KB
Component of No Buildroots