[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#61783] [PATCH 4/6] gnu: Add btor2tools.
From: |
Liliana Marie Prikler |
Subject: |
[bug#61783] [PATCH 4/6] gnu: Add btor2tools. |
Date: |
Sat, 25 Feb 2023 09:25:10 +0100 |
* gnu/packages/maths.scm (btor2tools): New variable.
---
gnu/packages/maths.scm | 30 ++++++++++++++++++++++++++++++
1 file changed, 30 insertions(+)
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 @@ (define-public aiger
(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")
--
2.39.1
- [bug#61783] [PATCH 0/6] Add more SMT solvers, Liliana Marie Prikler, 2023/02/25
- [bug#61783] [PATCH 2/6] gnu: Add libpoly., Liliana Marie Prikler, 2023/02/25
- [bug#61783] [PATCH 3/6] gnu: Add yices., Liliana Marie Prikler, 2023/02/25
- [bug#61783] [PATCH 4/6] gnu: Add btor2tools.,
Liliana Marie Prikler <=
- [bug#61783] [PATCH 5/6] gnu: Add boolector., Liliana Marie Prikler, 2023/02/25
- [bug#61783] [PATCH 1/6] gnu: Add cudd., Liliana Marie Prikler, 2023/02/25
- [bug#61783] [PATCH 6/6] gnu: Add java-smtinterpol., Liliana Marie Prikler, 2023/02/25