source 'https://rubygems.org'

# Specify your gem's dependencies in prop_logic-minisat.gemspec
gemspec