RubyGems Navigation menu

ruby-minisat 2.2.0.2

ruby binding for MiniSat, an open-source SAT solver

Gemfile:
=

install:
=

Versions:

  1. 2.2.0.2 October 26, 2019 (109 KB)
  2. 2.2.0.1 October 25, 2019 (109 KB)
  3. 2.2.0 May 30, 2013 (109 KB)
  4. 1.14.2 July 07, 2010 (131 KB)
Show all versions (5 total)

Development Dependencies (2):

bundler ~> 1.3
rake >= 0

Owners:

Pushed by:

Authors:

  • Yusuke Endoh

SHA 256 checksum:

=

Total downloads 14,814

For this version 2,765

Version Released:

License:

MIT

Required Ruby Version: >= 0

Links: