[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
07/09: gnu: Add ocaml-mccs.
From: |
guix-commits |
Subject: |
07/09: gnu: Add ocaml-mccs. |
Date: |
Wed, 10 Apr 2019 15:40:08 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit c4262cc932d0e1609923c401ad0a8d6160628372
Author: Julien Lepiller <address@hidden>
Date: Wed Apr 3 23:35:31 2019 +0200
gnu: Add ocaml-mccs.
* gnu/packages/ocaml.scm (ocaml-mccs): New variable.
---
gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++
1 file changed, 28 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 263a318..04d5a84 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -363,6 +363,34 @@ Software distribution.")
;; With static-linking exception
(license license:lgpl2.1+)))
+(define-public ocaml-mccs
+ (package
+ (name "ocaml-mccs")
+ (version "1.1+9")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/AltGr/ocaml-mccs")
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "1i0hhkrqi7rqlainlg5pc4hibbx6b5dp3x99gmav8c3sbfvlk9mc"))))
+ (build-system dune-build-system)
+ (propagated-inputs `(("ocaml-cudf" ,ocaml-cudf)))
+ (home-page "http://www.i3s.unice.fr/~cpjm/misc/")
+ (synopsis "Upgrade path problem solver")
+ (description "Mccs (Multi Criteria CUDF Solver) is a CUDF problem solver.
+Mccs take as input a CUDF problem and computes the best solution according to
+a set of criteria. It relies on a Integer Programming solver or a
+Pseudo Boolean solver to achieve its task. Mccs can use a wide set of
+underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.")
+ (license (list
+ license:bsd-3
+ license:gpl3+
+ ;; With static-linking exception
+ license:lgpl2.1+))))
+
(define-public ocaml-opam-file-format
(package
(name "ocaml-opam-file-format")
- branch master updated (81a9ab8 -> e9b86fa), guix-commits, 2019/04/10
- 05/09: gnu: Add ocaml-extlib., guix-commits, 2019/04/10
- 06/09: gnu: Add ocaml-cudf., guix-commits, 2019/04/10
- 03/09: gnu: Add ocaml-opam-file-format., guix-commits, 2019/04/10
- 09/09: gnu: opam: Unbundle dependencies., guix-commits, 2019/04/10
- 07/09: gnu: Add ocaml-mccs.,
guix-commits <=
- 02/09: import: opam: Use dune-build-system when possible., guix-commits, 2019/04/10
- 01/09: import: opam: Add more patterns to opam file parser., guix-commits, 2019/04/10
- 08/09: gnu: Add ocaml-dose3., guix-commits, 2019/04/10
- 04/09: gnu: ocaml-cmdliner: Update to 1.0.3., guix-commits, 2019/04/10