RubyGems Navigation menu

ruby-minisat 2.2.0

ruby binding for MiniSat, an open-source SAT solver

Gemfile:
=

安裝:
=

版本列表:

  1. 2.2.0.2 October 26, 2019 (108.5 KB)
  2. 2.2.0.1 October 25, 2019 (108.5 KB)
  3. 2.2.0 May 30, 2013 (108.5 KB)
  4. 1.14.2 July 07, 2010 (131.0 KB)
顯示所有版本(共 5)

Development 相依性套件 (2):

bundler ~> 1.3
rake >= 0

擁有者:

作者:

  • Yusuke Endoh

SHA 256 總和檢查碼:

=

總下載次數 14,765

這個版本 6,795

版本发布:

授權:

MIT

Ruby 版本需求:

相關連結: