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