Int
Z3
- Ast
- CheckResult
- Config
  - Params
- Context
- Model
- Result
- Solver
- Sort
- Symbol

Generated using Crystal 1.16.3
2026-03-05 17:02:20 UTC

class Z3::Config

Z3::Config
Reference
Object

Defined in:

z3/config.cr

Constructors

.new

Instance Method Summary

#finalize
#params
#to_unsafe : LibZ3::Config

Constructor Detail

def self.new #

[View source]

Instance Method Detail

def finalize #

[View source]

def params #

[View source]

def to_unsafe : LibZ3::Config #

[View source]