RubyGems.org

ruby-minisat

2.2.0

ruby binding for MiniSat, an open-source SAT solver

installgem install ruby-minisat
Authors

Yusuke Endoh

1,953 total downloads 623 for this version
Owners

F24ff61beb80aa5f13371aa22a35619c

Licenses

MIT

Gemfile
gem 'ruby-minisat', '~> 2.2.0'
Versions
  1. 2.2.0 May 30, 2013 (109 KB)
  2. 1.14.2 July 6, 2010 (131 KB)
Show all versions (3 total)
Development Dependencies
  1. bundler ~> 1.3
  2. rake >= 0