Sha256: bca51111407e429774863dbebb780b288279812029441eaaa4711faf7f9bc4f3
Contents?: true
Size: 1.57 KB
Versions: 2
Compression:
Stored size: 1.57 KB
Contents
# Ravensat Welcome to your new gem! In this directory, you'll find the files you need to be able to package up your Ruby library into a gem. Put your Ruby code in the file `lib/ravensat`. To experiment with that code, run `bin/console` for an interactive prompt. TODO: Delete this and the text above, and describe your gem ## Installation(Not implemented) Add this line to your application's Gemfile: ```ruby gem 'ravensat' ``` And then execute: $ bundle install Or install it yourself as: $ gem install ravensat ## Usage ```ruby require 'ravensat' a = Ravensat::PropVar.new b = Ravensat::PropVar.new a.value #=> nil b.value #=> nil logic = (a | b) & (~a | b) & (a | ~b) solver = Ravensat::Solver.new solver.solve logic #=> true(SAT) a.value #=> true b.value #=> true ``` ## Development(Not implemented) After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake spec` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment. To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and the created tag, and push the `.gem` file to [rubygems.org](https://rubygems.org). ## Contributing Bug reports and pull requests are welcome on GitHub at https://github.com/matsuda0528/ravensat. ## License The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).
Version data entries
2 entries across 2 versions & 1 rubygems
Version | Path |
---|---|
ravensat-0.1.1 | README.md |
ravensat-0.1.0 | README.md |