class Z3::Solver

• Z3::Solver
• Reference
• Object

Defined in:

z3/solver.cr

Constructors

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

Instance Method Summary

• #assert(a : Ast)
• #check : CheckResult
• #context : Context
• #finalize
• #to_unsafe : LibZ3::Solver

Constructor Detail

Instance Method Detail