Tue, 11 Jun 2024 02:07:46 UTC | login

Information for RPM ocaml-mccs-1.1-11.8.fc30.src.rpm

ID312970
Nameocaml-mccs
Version1.1
Release11.8.fc30
Epoch
Archsrc
SummaryMulti Criteria CUDF Solver with OCaml bindings
Descriptionmccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project. This project contains a stripped-down version of the mccs solver, taken from snapshot 1.1, with a binding as an OCaml library, and building with jbuilder. The binding enables interoperation with binary CUDF data from the OCaml CUDF library, and removes the native C++ parsers and printers.
Build Time2018-12-08 19:22:26 GMT
Size994.57 KB
2b061056b92ca2470b5a5f4eca3dd7ab
LicenseBSD and LGPLv3+ with exceptions
Buildrootf30-build-39886-22665
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
gcc
gcc-c++
glpk-devel
jbuilder
ocaml
ocaml-cudf-devel
ocaml-findlib-devel
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 2 of 2
Name ascending sort Size
ocaml-mccs-1.1-8.tar.gz985.06 KB
ocaml-mccs.spec3.43 KB
Component of No Buildroots