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
LICENSE.md
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.