R Observatory: Metrics for rpicosat version 1.0.1

Balamuta, James Joseph

doi:10.5281/zenodo.21843040

This package was removed from CRAN on 2022-09-04. Its history is shown below.

Reason: issues were not corrected in time

Details below reflect version 1.0.1, its last release before removal.

rpicosat

1.0.1

R Bindings for the 'PicoSAT' SAT Solver

0packages depend

–downloads / year

–test coverage

–checks pass

Overview

About

Maintained by Dirk Schumacher2 releasesCRAN page ↗GitHub ↗

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/.

Install

R (source archive)pak (dev)Ubuntu (r2u)openSUSE (OBS)

url <- "https://cran.r-project.org/src/contrib/Archive/rpicosat/rpicosat_1.0.1.tar.gz"
pkgFile <- "rpicosat_1.0.1.tar.gz"
download.file(url, pkgFile)
install.packages(pkgFile, type = "source", repos = NULL)

This package is no longer on CRAN, so install.packages() cannot fetch it by name. This downloads the last archived source (1.0.1) and builds it locally. Install its dependencies first, and note that building from source needs the usual compiler toolchain.

if (!requireNamespace("pak", quietly = TRUE))
  install.packages("pak", repos = "https://cloud.r-project.org/")
pak::pak("dirkschumacher/rpicosat")

Development version from dirkschumacher/rpicosat. Installs pak first if it is not already available.

Release

# enable cranapt (r2u) if it is not already set up, then install
grep -rqs r2u.stat.illinois.edu /etc/apt/sources.list /etc/apt/sources.list.d/ \
  || curl -fsSL https://raw.githubusercontent.com/eddelbuettel/r2u/master/inst/scripts/add_cranapt_noble.sh | sudo bash
sudo apt install -y r-cran-rpicosat

Fast Ubuntu binaries via r2u (no compilation). The cranapt setup runs once and is skipped when it is already enabled.

bspm (used by r2u) also needs make: sudo apt install make

# add the autoCRAN OBS repo (Tumbleweed) if it is missing, then install
zypper -q lr | grep -qi autoCRAN \
  || sudo zypper addrepo https://download.opensuse.org/repositories/devel:/languages:/R:/autoCRAN/openSUSE_Tumbleweed/devel:languages:R:autoCRAN.repo
sudo zypper install -y R-rpicosat

RPMs auto-built from CRAN on openSUSE OBS (Tumbleweed).

Health

CRAN checks

CRAN check results are not tracked yet.

Code health

Yes

Tests · ratio 0.25

not tracked

Coverage

100%

Documentation · exports

0

Dependencies · direct

Documentation

READMEYes · 263 wordsVignettesNopkgdown siteNoNEWSYes · 100% structuredCode of conductNoContributing guideNo

Examples that run: 100%
Documented parameters: 100%
Return-value docs: 100%
References docs: 13%

Downloads

Releases R versions

Daily download trend is not available in this view yet.

Compare downloads with other packages →

Also on316 r2u8 autocran

Dependencies

Declared dependencies

2 external dependencies (excludes base and recommended)

Depends (1)

R >= 3.4.0

Imports (0)

none

LinkingTo (0)

none

Suggests (2)

testthat covr

Enhances (0)

none

Dependency license breakdown →

Reverse dependencies

0direct

–indirect (not tracked)

Nothing depends on this yet.

Code & Tests

People & History

People (2)

Maintainer (1)

Dirk Schumacher

Author, Maintainer

Authors (1)

Dirk Schumacher

Author, Maintainer

Contributors (1)

Armin Biere

Contributor, Copyright holder

Copyright holders (1)

Armin Biere

Contributor, Copyright holder

Package Timeline

2 releases. Pick two to compare their code metrics. R releases are shown for context.

R
R 4.3.0 released · 2023-04-21
archivedRemoved from CRAN
2022-09-04
issues were not corrected in time
R
R 4.2.0 released · 2022-04-22
R
R 4.1.0 released · 2021-05-18
R
R 4.0.0 released · 2020-04-24
R
R 3.6.0 released · 2019-04-26
R
R 3.5.0 released · 2018-04-23
1.0.1
2017-11-15 · diff ↗
1.0.0
2017-11-14
R
R 3.4.0 released · 2017-04-21

Package metadata

Total releases: 2
License: MIT + file LICENSE OSI
Minimum R: ≥ 3.4.0
Download size: not tracked yet
Installed size: not tracked yet
With dependencies: not tracked yet

Cite

Cite this package

Run in R for the authors' preferred citation:

citation("rpicosat")

Format

Schumacher, D., & Biere, A. (n.d.). rpicosat: R Bindings for the 'PicoSAT' SAT Solver (Version 1.0.1) [Computer software]. Retrieved August 13, 2026, from https://CRAN.R-project.org/package=rpicosat

This is what citation() produces when a package has no citation file of its own. If it prints something else, use that.

Cite the R Observatory

For a number measured here: a download total, a coverage figure, an archival date.

Format

APA

Balamuta, J. J. (2026). R Observatory: Metrics for rpicosat version 1.0.1 [Data set]. HJJB, LLC. Data release v2026-08-11. https://doi.org/10.5281/zenodo.21843040

From data release v2026-08-11, which the citation names so these numbers can be found later. More on citing and the projects behind them.

Report a problem with this page →