rpicosat 1.0.1.9000 Minor change to fix CRAN notes Relaxed minimum R version. R 3.1 is now required to run the package. rpicosat 1.0.1 Bugfixes Fixed potential problems with garbage collection in the C code rpicosat 1.0.0 Initial CRAN release