diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-02-17 16:51:03 +0100 |
|---|---|---|
| committer | Cayetano Santos <csantosb@inventati.org> | 2026-02-18 11:32:39 +0100 |
| commit | e2a2939f4dafcd5dc3fe3638a687a2903b2579d1 (patch) | |
| tree | 131f76867805f1ed65789b78deae874118175dfb /gnu | |
| parent | 31fafda1b7b92f4b3a531e6df8c10d868ebbae8d (diff) | |
gnu: Add python-simplesat.
* gnu/packages/python-xyz.scm (python-simplesat): New variable.
Merges guix/guix!6509
Change-Id: I1492de281a13fb60b077053b443c4cec5ac77331
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/python-xyz.scm | 35 |
1 files changed, 34 insertions, 1 deletions
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index d2836a5922a..e1af814dadf 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -167,7 +167,7 @@ ;;; Copyright © 2025 Jordan Moore <lockbox@struct.foo> ;;; Copyright © 2025 Dariqq <dariqq@posteo.net> ;;; Copyright © 2025-2026 Nguyễn Gia Phong <cnx@loang.net> -;;; Copyright © 2025, Cayetano Santos <csantosb@inventati.org> +;;; Copyright © 2025, 2026 Cayetano Santos <csantosb@inventati.org> ;;; Copyright © 2025 Jake Forster <jakecameron.forster@gmail.com> ;;; Copyright © 2025 Luis Felipe López Acevedo <sirgazil@zoho.com> ;;; Copyright © 2025 Josep Bigorra <jjbigorra@gmail.com> @@ -18179,6 +18179,39 @@ how many previous alarms had gone off, and if there is music playing at the time.") (license license:expat))) +(define-public python-simplesat + (package + (name "python-simplesat") + (version "0.9.2") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/enthought/sat-solver") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0z44pi8yb6pvc9bisl3qnn3glj7ir0ad2j4gd4jfg2kxvwvi0w0b")))) + (build-system pyproject-build-system) + (arguments + (list + #:test-flags #~(list "--ignore=old"))) + (propagated-inputs + (list python-attrs + python-okonomiyaki + python-six)) + (native-inputs + (list python-mock + python-pytest + python-pyyaml + python-setuptools)) + (home-page "https://github.com/enthought/sat-solver") + (synopsis + "@acronym{SAT, Boolean Satisfiability Problem} dependency handling") + (description + "This package provides a prototype Python implementation for SAT-based +problems.") + (license license:bsd-3))) (define-public python-nbconvert (package (name "python-nbconvert") |