From 53696f10c1cbcf2eace9bfb1837aa9b0860032db Mon Sep 17 00:00:00 2001 From: Andreas Enge Date: Tue, 5 Apr 2016 19:22:36 +0200 Subject: gnu: Add cddlib. * gnu/packages/maths.scm (cddlib): New variable. --- gnu/packages/maths.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 1d879713ac..adebf09a32 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") -- cgit v1.2.3