Method: Z3::Solver#assert

Defined in:
lib/z3/solver.rb

#assert(ast) ⇒ Object 



25
26
27
28
 
# File 'lib/z3/solver.rb', line 25

def assert(ast)
  reset_model!
  LowLevel.solver_assert(self, ast)
end