Module: PropLogic::Minisat::Solver

Defined in:
lib/prop_logic/minisat.rb

Class Method Summary collapse

Class Method Details

.call(term) ⇒ Object 



9
10
11
 
# File 'lib/prop_logic/minisat.rb', line 9

def self.call(term)
  IncrementalSolver.new(term).sat?
end