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

Sha 256 checksum:

aea84412ecb2c035b0e580ff1bcd178e2dc333334b8d1d583fc8375c095f24d6

Total downloads 2,374

For this version 853

Show all versions (3 total)

Required Ruby Version: None

Licenses:

MIT

Gemfile:
= Copy to clipboard Copied!

install:
= Copy to clipboard Copied!

Links: