Files in dirkschumacher/rpicosat
R Bindings for the 'PicoSAT' SAT Solver

.Rbuildignore

.gitattributes

.github/.gitignore

.github/workflows/R-CMD-check.yaml

.github/workflows/test-coverage.yaml

.gitignore

DESCRIPTION

LICENSE

NAMESPACE

NEWS.md R/rpicosat.R README.Rmd README.md

codecov.yml

cran-comments.md

inst/COPYRIGHTS

man/picosat_added_original_clauses.Rd man/picosat_decisions.Rd man/picosat_propagations.Rd man/picosat_sat.Rd man/picosat_seconds.Rd man/picosat_solution_status.Rd man/picosat_variables.Rd man/picosat_visits.Rd

rpicosat.Rproj

src/Makevars.win

src/init.c

src/picosat.c

src/picosat.h

src/r_picosat.c

src/r_picosat.h

tests/testthat.R tests/testthat/test-solver.R

dirkschumacher/rpicosat documentation built on Jan. 23, 2022, 10:55 a.m.

rdrr.io home R language documentation Run R code online

CRAN packages Bioconductor packages R-Forge packages GitHub packages

Note that we can't provide technical support on individual packages. You should contact the package authors for that.

Tweet to @rdrrHQ

GitHub issue tracker

ian@mutexlabs.com