guix_mirror_bot pushed a commit to branch python-team
in repository guix.
commit 2592dd26cebf1ab995b7dd90f1fd7b34ae8e11f6
Author: Sharlatan Hellseher <[email protected]>
AuthorDate: Sat Jan 24 16:57:57 2026 +0000
gnu: Add python-deal-solver.
* gnu/packages/python-check.scm (python-deal-solver): New variable.
Change-Id: Icb1ef10ac61cb68a9f500a01d4aae00bbccbcbed
---
gnu/packages/python-check.scm | 43 +++++++++++++++++++++++++++++++++++++++++++
1 file changed, 43 insertions(+)
diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm
index 930717e142..9618add099 100644
--- a/gnu/packages/python-check.scm
+++ b/gnu/packages/python-check.scm
@@ -864,6 +864,49 @@ to the code, providing free tests, static analysis, formal
verification, and
much more.")
(license license:expat)))
+(define-public python-deal-solver
+ (package
+ (name "python-deal-solver")
+ (version "0.1.2")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/life4/deal-solver";)
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "16kxxip5czjsy1b4xds4zpjz3rgpsrp4k2bbvw1r3z2in509w0qc"))))
+ (build-system pyproject-build-system)
+ (arguments
+ (list
+ ;; tests: 6893 passed, 40 warnings
+ #:test-flags
+ #~(list "--numprocesses" (number->string (min 8 (parallel-job-count)))
+ ;; AssertionError: assert <Conclusion.SKIP: 'skipped'> is
+ ;; <Conclusion.OK: 'proved!'>
+ (string-append "--deselect=tests/test_types/test_set.py"
+ "::test_expr_asserts_ok[len({4, 5, 5, 6}) >= 3]"))
+ #:phases
+ #~(modify-phases %standard-phases
+ (add-after 'unpack 'fix-pytest-config
+ (lambda _
+ (substitute* "pyproject.toml"
+ ((".*--cov.*") "")))))))
+ (native-inputs
+ (list python-pytest
+ python-pytest-xdist
+ python-flit-core))
+ (propagated-inputs
+ (list python-astroid
+ z3))
+ (home-page "https://github.com/life4/deal-solver";)
+ (synopsis "z3-powered solver (theorem prover) for Deal")
+ (description
+ "This package provides a @url{https://github.com/Z3Prover/z3, z3}-powered
+solver (theorem prover) for Deal.")
+ (license license:expat)))
+
(define-public python-ddt
(package
(name "python-ddt")
