RubyGems Navigation menu

ruby-minisat 2.2.0

ruby binding for MiniSat, an open-source SAT solver

Gemfile:
=

instalar:
=

Versiones:

  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)
Mostrar todas las versiones (5 total)

dependencias de Development (2):

bundler ~> 1.3
rake >= 0

Propietarios:

Autores:

  • Yusuke Endoh

SHA 256 checksum:

=

Total de descargas 14.765

Para esta versión 6.795

Versión publicada:

Licencia:

MIT

Versión de Ruby requerida: Ninguno

Enlace: