summaryrefslogtreecommitdiff
path: root/gnu/packages/sagemath.scm
diff options
context:
space:
mode:
authorAndreas Enge <andreas@enge.fr>2019-06-17 15:11:21 +0200
committerAndreas Enge <andreas@enge.fr>2019-06-17 16:00:13 +0200
commit20caeea4838ed0cf92452b6f7cf4cb9b42cd4ba8 (patch)
tree10aded95302203acc06edc3abddf84c6f40e56c6 /gnu/packages/sagemath.scm
parent505459d7cb139eaa3b73b4977d502a3acc400b3b (diff)
downloadpatches-20caeea4838ed0cf92452b6f7cf4cb9b42cd4ba8.tar
patches-20caeea4838ed0cf92452b6f7cf4cb9b42cd4ba8.tar.gz
gnu: Add cliquer.
* gnu/packages/sagemath.scm (cliquer): New variable.
Diffstat (limited to 'gnu/packages/sagemath.scm')
-rw-r--r--gnu/packages/sagemath.scm27
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")))