diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-02-25 09:24:33 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-03-05 08:17:58 +0100 |
| commit | 771d4f86ddb63670999a8ab47ee6888db71298f7 (patch) | |
| tree | e087f76a836e7aa158728d6e04c6b9839f4a871e /gnu/packages/maths.scm | |
| parent | 19769f5b6b1e123cd7698fdeddc246d338ca4eb5 (diff) | |
| download | guix-771d4f86ddb63670999a8ab47ee6888db71298f7.tar.gz | |
gnu: Add libpoly.
* gnu/packages/maths.scm (libpoly): New variable.
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 608545dda9..f9b050ddcb 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -7580,6 +7580,29 @@ diagrams, algebraic decision diagrams, and zero-suppressed binary decision diagrams.") (license license:bsd-3))) +(define-public libpoly + (package + (name "libpoly") + (version "0.1.11") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/SRI-CSL/libpoly") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0qylmg30rklvg00a0h1b3pb52cj9ki98yd27cylihjhq2klh3dmy")))) + (build-system cmake-build-system) + (arguments + (list #:configure-flags #~(list "-DLIBPOLY_BUILD_PYTHON_API=off"))) + (inputs (list gmp)) + (home-page "https://github.com/SRI-CSL/libpoly") + (synopsis "Manipulate polynomials") + (description "LibPoly is a C library for manipulating polynomials to support +symbolic reasoning engines that need to reason about polynomial constraints.") + (license license:lgpl3+))) + (define-public lingeling (let ((commit "72d2b13eea5fbd95557a3d0d199cd98dfbdc76ee") (revision "1")) |