Add MiniSat::Model#values_at
This library is not released to rubygems yet