02/02: gnu: Add cddlib.

[Andreas Enge]

andreas pushed a commit to branch master
in repository guix.

commit 53696f10c1cbcf2eace9bfb1837aa9b0860032db
Author: Andreas Enge <address@hidden>
Date:   Tue Apr 5 19:22:36 2016 +0200

    gnu: Add cddlib.
    
    * gnu/packages/maths.scm (cddlib): New variable.
---
 gnu/packages/maths.scm |   25 +++++++++++++++++++++++++
 1 files changed, 25 insertions(+), 0 deletions(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 1d87971..adebf09 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -227,6 +227,31 @@ of linear equations, computes extreme rays of polyhedral 
cones, solves
 integer programming problems and computes Markov bases for statistics.")
     (license license:gpl2+)))
 
+(define-public cddlib
+  (package
+    (name "cddlib")
+    (version "0.94h")
+    (source
+     (origin
+      (method url-fetch)
+      (uri (string-append "ftp://ftp.ifor.math.ethz.ch/pub/fukuda/cdd/cddlib-";
+                          (string-delete #\. version) ".tar.gz"))
+      (sha256
+       (base32
+        "1dasasscwfg793q8fwzgwf64xwj7w62yfvszpr8x8g38jka08vgy"))))
+    (build-system gnu-build-system)
+    (inputs
+     `(("gmp" ,gmp)))
+    (home-page "https://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html";)
+    (synopsis "Library for convex hulls and extreme rays of polyhedra")
+    (description
+     "The C-library cddlib implements the Double Description Method of
+Motzkin et al. for generating all vertices (i.e. extreme points) and extreme
+rays of a general convex polyhedron given by a system of linear inequalities
+in arbitrary dimension.  It can also be used for the converse operation of
+computing convex hulls.")
+    (license license:gpl2+)))
+
 (define-public arpack-ng
   (package
     (name "arpack-ng")