RubyGems Navigation menu

ruby-minisat 2.2.0

ruby binding for MiniSat, an open-source SAT solver

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:

Authors:

  • Yusuke Endoh

Owners:

E73159002200b33d51b7a6a312f2440e

Total downloads 2,092

For this version 695

Show all versions (3 total)

Required Ruby Version: None

Licenses:

MIT

Gemfile:
gem 'ruby-minisat', '~> 2.2.0' = Copy to clipboard Copied!

install:
gem install ruby-minisat = Copy to clipboard Copied!

Links: