class

Z3::Solver

Inherits Reference < Object

Constructors

new(context : Z3::Context = Context.new)
Source

Instance methods

assert(a : Ast)
Source
check
Source
context
Source
finalize
Source
to_unsafe
Source