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
# File lib/prop_logic/minisat.rb, line 9 def self.call(term) IncrementalSolver.new(term).sat? end