@@ -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
From: Kyle Andrews <kyle@posteo.net> --- gnu/packages/cran.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+)