guix_mirror_bot pushed a commit to branch master
in repository guix.
commit e2a2939f4dafcd5dc3fe3638a687a2903b2579d1
Author: Cayetano Santos <[email protected]>
AuthorDate: Tue Feb 17 16:51:03 2026 +0100
gnu: Add python-simplesat.
* gnu/packages/python-xyz.scm (python-simplesat): New variable.
Merges guix/guix!6509
Change-Id: I1492de281a13fb60b077053b443c4cec5ac77331
---
gnu/packages/python-xyz.scm | 35 ++++++++++++++++++++++++++++++++++-
1 file changed, 34 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index d2836a5922..e1af814dad 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -167,7 +167,7 @@
;;; Copyright © 2025 Jordan Moore <[email protected]>
;;; Copyright © 2025 Dariqq <[email protected]>
;;; Copyright © 2025-2026 Nguyễn Gia Phong <[email protected]>
-;;; Copyright © 2025, Cayetano Santos <[email protected]>
+;;; Copyright © 2025, 2026 Cayetano Santos <[email protected]>
;;; Copyright © 2025 Jake Forster <[email protected]>
;;; Copyright © 2025 Luis Felipe López Acevedo <[email protected]>
;;; Copyright © 2025 Josep Bigorra <[email protected]>
@@ -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")
