class Z3::Context

Source

# File lib/z3/context.rb, line 8
def self.instance
  @instance ||= new
end

Source

# File lib/z3/context.rb, line 4
def initialize
  @_context = LowLevel.mk_context
end