From 9f6065237d7be3672b9c48e0dfd89af85ff4eeec Mon Sep 17 00:00:00 2001 From: Andreas Enge Date: Mon, 17 Jun 2019 17:02:01 +0200 Subject: gnu: Add edge-addition-planarity-suite. * gnu/packages/maths.scm (edge-addition-planarity-suite): New variable. --- gnu/packages/maths.scm | 30 +++++++++++++++++++++++++++++- 1 file changed, 29 insertions(+), 1 deletion(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 6d8fb9cec5..b4e4067101 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2013, 2014, 2015, 2016 Andreas Enge +;;; Copyright © 2013, 2014, 2015, 2016, 2019 Andreas Enge ;;; Copyright © 2013 Nikita Karetnikov ;;; Copyright © 2014, 2016, 2017 John Darrington ;;; Copyright © 2014, 2015, 2016, 2017, 2018, 2019 Eric Bavier @@ -5003,3 +5003,31 @@ (define-public nauty This package provides the static libraries required to run programs compiled against the nauty library.") (license license:asl2.0))) + +(define-public edge-addition-planarity-suite + (package + (name "edge-addition-planarity-suite") + (version "3.0.0.5") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append "https://github.com/graph-algorithms/" + name)) + (commit (string-append "Version_" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "01cm7ay1njkfsdnmnvh5zwc7wg7x189hq1vbfhh9p3ihrbnmqzh8")))) + (build-system gnu-build-system) + (native-inputs + `(("autoconf" ,autoconf) + ("automake" ,automake) + ("libtool" ,libtool))) + (synopsis "Embedding of planar graphs") + (description "The package provides a reference implementation of the +linear time edge addition algorithm for embedding planar graphs and +isolating planarity obstructions.") + (license license:bsd-3) + (home-page + "https://github.com/graph-algorithms/edge-addition-planarity-suite"))) -- cgit v1.2.3