diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-02-25 09:25:10 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-03-05 08:17:58 +0100 |
| commit | 1164f100d356502b96171b22897e1320d925eaa8 (patch) | |
| tree | 95e65a43a3905196b1d3c325aca75b439442f985 /gnu/packages/maths.scm | |
| parent | 367979cbff8a85a983535c6a0858f80ba36c72e2 (diff) | |
| download | guix-1164f100d356502b96171b22897e1320d925eaa8.tar.gz | |
gnu: Add btor2tools.
* gnu/packages/maths.scm (btor2tools): New variable.
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 069c2c07c2..507b7056a4 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -7607,6 +7607,36 @@ generic reader and writer API.") (license (list license:expat license:bsd-3)))) ; blif2aig +(define-public btor2tools + (let ((commit "b8456dda4780789e882f5791eb486f295ade4da4") + (revision "1")) + (package + (name "btor2tools") + (version (git-version "1.0.0-pre" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/Boolector/btor2tools") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0r3cm69q5xhnbxa74yvdfrsf349s4cxmiqlb4aq8appi7yg3qhww")))) + (build-system cmake-build-system) + (arguments + (list #:out-of-source? #f + #:phases + #~(modify-phases %standard-phases + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (invoke "sh" "test/runtests.sh"))))))) + (home-page "http://boolector.github.io/") + (synopsis "Parser for BTOR2 format") + (description "This package provides a parser for the BTOR2 format used by +Boolector.") + (license license:lgpl3+)))) + (define-public cudd (package (name "cudd") |