class Z3::Solver

Z3::Solver
Reference
Object

Defined in:

z3/solver.cr

Constructors

.new

Instance Method Summary

#assert(expr)
#check
#model
#satisfiable?
#to_unsafe : LibZ3::Solver

Constructor Detail

def self.new #

[View source]

Instance Method Detail

def assert(expr) #

[View source]

def check #

[View source]

def model #

[View source]

def satisfiable? #

[View source]

def to_unsafe : LibZ3::Solver #

[View source]