gnu: python-simplesat: Move to maths.

* gnu/packages/python-xyz.scm (python-simplesat): Move from here ...
* gnu/packages/maths.scm: ... to here.

Change-Id: I3f2f832e3c9099705800aa88c07913a407c722b4

2 files changed, 34 insertions, 34 deletions

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 2ddd178ff62..c8e3c6d11a8 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -4859,6 +4859,40 @@ wedges, pyramids, n-spheres, n-balls, n-cubes, n-simplices, and the
 integration of real-, complex-, and vector-valued functions.")
     (license license:gpl3+)))
 
+(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")))
+    (native-inputs
+     (list python-mock
+           python-pytest
+           python-pyyaml
+           python-setuptools))
+    (propagated-inputs
+     (list python-attrs
+           python-okonomiyaki
+           python-six))
+    (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 slepc
   (package
     (name "slepc")
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 1fa0e8fdfb9..4bd774c160f 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -18219,40 +18219,6 @@ 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-haas
   ;; A recent revision is required to avoid obsoleted dependencies.
   (let ((commit "e9c45e88b682c9129ea0971ba31671429495de2c")