Subject: [PATCH 11/14] gnu: Add r-picosat.

From: kyle <[email-masked]>
Date: Thu, 12 May 2022 02:10:31 +0000

From: Kyle Andrews <[email-masked]>

---
 gnu/packages/cran.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/cran.scm b/gnu/packages/cran.scm
index f578cdfa2a..0c7a3d55ff 100644
--- a/gnu/packages/cran.scm
+++ b/gnu/packages/cran.scm
@@ -33466,6 +33466,27 @@ (define-public r-relimp
     "This package provides functions to facilitate inference on the relative importance of predictors in a linear or generalized linear model, and a couple of useful Tcl/Tk widgets.")
    (license license:gpl2+)))
 
+(define-public r-rpicosat
+  (package
+   (name "r-rpicosat")
+   (version "1.0.1")
+   (source
+    (origin
+     (method url-fetch)
+     (uri (cran-uri "rpicosat" version))
+     (sha256
+      (base32
+       "1zj2d6jairmvya91vhv9kpkf34zmzl9vlha5yvfjj0j0apmqc0li"))))
+   (properties `((upstream-name . "rpicosat")))
+   (build-system r-build-system)
+   (home-page
+    "https://github.com/dirkschumacher/rpicosat")
+   (synopsis
+    "R Bindings for the 'PicoSAT' SAT Solver")
+   (description
+    "Bindings for the 'PicoSAT' solver to solve Boolean satisfiability problems (SAT).  The boolean satisfiability problem asks the question if a given boolean formula can be TRUE; i.e.  does there exist an assignment of TRUE/FALSE for each variable such that the whole formula is TRUE? The package bundles 'PicoSAT' solver release 965 <http://www.fmv.jku.at/picosat/>.")
+   (license license:expat)))
+
 
 (define r-gpg
   (package
-- 
2.36.0