module PropLogic::Minisat::Solver

Public Class Methods

call(term) click to toggle source
# File lib/prop_logic/minisat.rb, line 9
def self.call(term)
  IncrementalSolver.new(term).sat?
end