Used RTypedData for Minisat::Lit
Used RTypedData for Minisat::Var
Used RTypedData for Minisat::Solver
Used RTypedData for Minisat::Model
Remove unused variable
Merge pull request #1 from eagletmt/typed-data

Use RTypedData instead of RData