Method: Z3::LowLevel.mk_simple_solver

Defined in:
lib/z3/low_level_auto.rb

.mk_simple_solver ⇒ Object

> :solver_pointer



1576
1577
1578
 
# File 'lib/z3/low_level_auto.rb', line 1576

def mk_simple_solver #=> :solver_pointer
  VeryLowLevel.Z3_mk_simple_solver(_ctx_pointer)
end