rpicosat 1.0.1

Bugfixes

• Fixed potential problems with garbage collection in the C code

rpicosat 1.0.0

• Initial CRAN release