diff options
| author | Sharlatan Hellseher <sharlatanus@gmail.com> | 2026-01-24 16:57:57 +0000 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2026-02-07 12:28:40 +0100 |
| commit | cbf919ed177578cc4d1f8f56e197f813be22dce4 (patch) | |
| tree | 18af0bf0ba6b95c24d290fd3bb00cd26000f651b | |
| parent | ad11e8d08b8d12d84931d30a6d25e11a476b81dd (diff) | |
gnu: Add python-deal-solver.
* gnu/packages/python-check.scm (python-deal-solver): New variable.
Change-Id: Icb1ef10ac61cb68a9f500a01d4aae00bbccbcbed
| -rw-r--r-- | gnu/packages/python-check.scm | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm index 930717e1426..9618add0993 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") |