8fd15f6a2bfdf8ee45fc52a7395016e6 *DESCRIPTION
fd8b509d4d654a5d6b1d9cd0365c919d *LICENSE
156d055573333379f517edd9d13b119f *NAMESPACE
0297aa888b6a5a65d72a0c60a5b8c7e0 *NEWS.md
2e2aed74214ab05d921c55eadd81f551 *R/rpicosat.R
c72f0972a2c3a6ce72a5fe5e9fda9af8 *README.md
57292633db728fdd276c0a62c8727e38 *man/picosat_added_original_clauses.Rd
0c9ff621ae686d3ca809f35d8fc5ba55 *man/picosat_decisions.Rd
a271c44007b29c23128aa7d496aa8f87 *man/picosat_propagations.Rd
3f9184dcc3db597f1cee42a2d2954f07 *man/picosat_sat.Rd
d0f56b0b9b414fb70e63ab41b92a7897 *man/picosat_seconds.Rd
b0f5d37e27fe1d8f0d79524a15a94294 *man/picosat_solution_status.Rd
b111d1466eb0fd328f1d9ccbf62d69fc *man/picosat_variables.Rd
09bccc85bf2a3c9ac57a7beacc771970 *man/picosat_visits.Rd
da975f995fc5f2ef57170b3d3ba53178 *src/Makevars.win
3f8fb6415e9b6a897da8abf434998e2d *src/init.c
55d669cbbbfd0aab0de44f3858ca0506 *src/picosat.c
9c821984c00039c3afad7cd1172b010a *src/picosat.h
ac41ffdb57f9694cb8213deac7a2a77a *src/r_picosat.c
cc7424de0bd6134cca23f3d6fe7b8227 *src/r_picosat.h
29d41c85e4f520649c2f316f1adcca3d *tests/testthat.R
e9b125d401dd23f9eb15884a5dd1210f *tests/testthat/test-solver.R
