From 380e3fa8005d2dd393143a208631cf672b8e838a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Tempel?= <soeren+git@soeren-tempel.net>
Date: Sun, 30 Aug 2026 11:56:57 +0200
Subject: gnu: Add ghc-simple-smt.

* gnu/packages/haskell-xyz.scm (ghc-simple-smt): New variable.
---
 gnu/packages/haskell-xyz.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 7a8f64450f2..f84e11a0719 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -11449,6 +11449,27 @@ The library captures a common usage pattern of the @code{GetOpt} module form the
 standard library.")
     (license license:bsd-3)))
 
+(define-public ghc-simple-smt
+  (package
+    (name "ghc-simple-smt")
+    (version "0.9.9")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "simple-smt" version))
+       (sha256
+        (base32 "03naikilcai2x5jmvl0k98g2cz4qki39pc2y1kfi0qkjrcm8cvxp"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "simple-smt")))
+    (inputs (list ghc-simple-get-opt))
+    (home-page "https://github.com/yav/simple-smt")
+    (synopsis "Simple library to interact with SMT solvers via SMT-LIB")
+    (description
+     "This package provides a simple library to interact with an external
+@acronym{SMT, satisfiability modulo theories} solver (such as @code{z3})
+via the standardized @url{https://smt-lib.org, SMT-LIB} format.")
+    (license license:bsd-3)))
+
 (define-public ghc-simple-reflect
   (package
     (name "ghc-simple-reflect")
-- 
cgit v1.2.3