Contents

require 'prop_logic'
require 'minisat'
require 'prop_logic/minisat/version'
require 'prop_logic/minisat/incremental_solver'

module PropLogic
  module Minisat
    module Solver
      def self.call(term)
        IncrementalSolver.new(term).sat?
      end
    end
  end
  PropLogic.sat_solver = Minisat::Solver
  PropLogic.incremental_solver = Minisat::IncrementalSolver
end

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
prop_logic-minisat-0.2.0	lib/prop_logic/minisat.rb