1 files changed, 32 insertions, 0 deletions
diff --git a/loft/synthesis.scm b/loft/synthesis.scm
new file mode 100644
index 0000000..be62654
--- /dev/null
+++ b/loft/synthesis.scm
@@ -0,0 +1,32 @@
+(use-modules (gnu packages python)
+             (gnu packages python-build)
+             (gnu packages python-xyz)
+             (guix build-system pyproject)
+             (guix download)
+             ((guix licenses) #:prefix license:)
+             (guix packages))
+
+(define-public python-pacfix
+  (package
+    (name "python-pacfix")
+    (version "0.0.3")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (pypi-uri "pacfix" version))
+        (sha256
+          (base32 "1111111111111111111111111111111111111111111111111111"))))
+    (build-system pyproject-build-system)
+    (native-inputs (list python-flit-core))
+    (propagated-inputs (list python-pysmt))
+    (arguments '(#:phases
+                 (modify-phases %standard-phases
+                   (replace 'check
+                     (lambda* (#:key tests? #:allow-other-keys)
+                       (when tests?
+                         (invoke "python" "-m" "unittest" "-v")))))))
+    (home-page "https://github.com/hsh814/pacfix-python")
+    (synopsis "PAC-learning-based program systhesizer")
+    (description "Pacfix systhesizes predicate expressions for program repair
+from values in possitive and negative examples using a PAC learning algorithm.")
+    (license license:expat)))