Contents

#!/usr/bin/env ruby

require "bundler/setup"
require "prop_logic/minisat"

# You can add fixtures and/or initialization code here to make experimenting
# with your gem easier. You can also use a different console, if you like.

# (If you use this, don't forget to add pry to your Gemfile!)
# require "pry"
# Pry.start

require "irb"
IRB.start

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
prop_logic-minisat-0.2.0	bin/console
prop_logic-minisat-0.1.0	bin/console