https://github.com/eagletmt/ruby-minisat

Ruby binding for MiniSat
https://github.com/eagletmt/ruby-minisat

Last synced: 30 days ago
JSON representation

Ruby binding for MiniSat

• Host: GitHub
• URL: https://github.com/eagletmt/ruby-minisat
• Owner: eagletmt
• License: mit
• Created: 2013-02-20T16:38:41.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2015-09-23T08:41:44.000Z (about 9 years ago)
• Last Synced: 2023-04-17T21:21:21.249Z (over 1 year ago)
• Language: Ruby
• Size: 270 KB
• Stars: 1
• Watchers: 1
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
# MiniSat

[![Build Status](https://secure.travis-ci.org/eagletmt/ruby-minisat.png)](https://travis-ci.org/eagletmt/ruby-minisat)

Ruby binding for [MiniSat](http://minisat.se/).

## Installation

Add this line to your application's Gemfile:

    gem 'minisat', :git => 'git://github.com/eagletmt/ruby-minisat.git'

And then execute:

    $ bundle

## Usage

```ruby

require 'minisat'

s = MiniSat::Solver.new

v1 = MiniSat::Var.new s

v2 = MiniSat::Var.new s

v3 = MiniSat::Var.new s

s << [v1] << [-v2, v3]  # v1 /\ (not(v2) \/ v3)

m = s.solve

puts "v1: #{m[v1]}, v2: #{m[v2]}, v3: #{m[v3]}"

```

## Contributing

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