I forked this so I could patch the c and make it compile on os x, because I wanted to install sciruby-full and this is one of MANY MANY impediments to me doing so. Honestly ruby, if we ever want to compete with Python for science programming stuff we need to get out shit together.

Otherwise Python is a pretty sweet language too, so y'know, whatever.

Back to the scheduled programme...

ruby-minisat is ruby binding for MiniSat, an open-source SAT solver.

$ gem install ruby-minisat

A brief example that solves a simple SAT problem:

# solve (a or b) and (not a or b) and (a or not b)

require "minisat"
solver = MiniSat::Solver.new

a = solver.new_var
b = solver.new_var

solver << [a, b] << [-a, b] << [a, -b]

p solver.solve  #=> true (satisfiable)

p solver[a]  #=> true
p solver[b]  #=> true

For more examples, see the examples directory in the distribution.

ruby-minisat is covered under the MIT License. This package includes MiniSat in the directory minisat which is also distributed under the MIT License. See minisat/minisat/LICENSE.

1. Fork it
2. Create your feature branch (git checkout -b my-new-feature)
3. Commit your changes (git commit -am 'Add some feature')
4. Push to the branch (git push origin my-new-feature)
5. Create new Pull Request