diff options
author | Andreas Enge <andreas@enge.fr> | 2019-06-17 15:11:21 +0200 |
---|---|---|
committer | Andreas Enge <andreas@enge.fr> | 2019-06-17 16:00:13 +0200 |
commit | 20caeea4838ed0cf92452b6f7cf4cb9b42cd4ba8 (patch) | |
tree | 10aded95302203acc06edc3abddf84c6f40e56c6 /gnu/packages/sagemath.scm | |
parent | 505459d7cb139eaa3b73b4977d502a3acc400b3b (diff) | |
download | guix-20caeea4838ed0cf92452b6f7cf4cb9b42cd4ba8.tar.gz guix-20caeea4838ed0cf92452b6f7cf4cb9b42cd4ba8.zip |
gnu: Add cliquer.
* gnu/packages/sagemath.scm (cliquer): New variable.
Diffstat (limited to 'gnu/packages/sagemath.scm')
-rw-r--r-- | gnu/packages/sagemath.scm | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index baa79ab1c0..42b2bbdb94 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -20,6 +20,7 @@ #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) #:use-module (guix download) + #:use-module (guix build-system gnu) #:use-module (guix build-system python) #:use-module (gnu packages algebra) #:use-module (gnu packages compression) @@ -89,3 +90,29 @@ libraries GMO, MPFR and MPC.") (define-public python2-gmpy2 (package-with-python2 python-gmpy2)) + +(define-public cliquer + (package + (name "cliquer") + (version "1.21") + ;; The original source package is available from the home page and + ;; has not seen any release since 2010; it comes with only a Makefile + ;; without an "install" target. Instead, there is an autotoolized + ;; tarball available from the Sage project. + (source + (origin + (method url-fetch) + (uri "http://users.ox.ac.uk/~coml0531/sage/cliquer-1.21.tar.gz") + (sha256 + (base32 + "1hdzrmrx0nvvj8kbwxrs8swqgkd284khzl623jizixcv28xb77aq")))) + (build-system gnu-build-system) + (synopsis "C routines for finding cliques in weighted graphs") + (description "Cliquer is a set of reentrant C routines for finding +cliques in a weighted or unweighted graph. It uses an exact +branch-and-bound algorithm. It can search for maximum or maximum-weight +cliques or cliques with size or weight within a given range, restrict the +search to maximal cliques, store cliques in memory and call a user-defined +function for every found clique.") + (license license:gpl2+) + (home-page "https://users.aalto.fi/~pat/cliquer.html"))) |