RubyGems Navigation menu

ruby-minisat 2.2.0.2

ruby binding for MiniSat, an open-source SAT solver

Gemfile:
=

instalar:
=

Versões:

  1. 2.2.0.3 October 10, 2025 (109 KB)
  2. 2.2.0.2 October 26, 2019 (109 KB)
  3. 2.2.0.1 October 25, 2019 (109 KB)
  4. 2.2.0 May 30, 2013 (109 KB)
  5. 1.14.2 July 07, 2010 (131 KB)
Mostrar todas as versões (6)

Development Dependencies (2):

bundler ~> 1.3
rake >= 0
Mostrar todas as dependências

Donos:

Pushed by:

Autores:

  • Yusuke Endoh

SHA 256 checksum:

=
← Previous version Next version →

Total de downloads 16.042

Desta versão 3.174

Versão lançada:

Licença:

MIT

Versão Requerida do Ruby: >= 0

Links:

Homepage Documentação Download Review changes Badge Inscrever-se RSS Denunciar Abuso Dependências Reversas