Z3.Opts
Z3 configuration
data
Opts
setOpts
stdOpts
(+?)
Z3 options
opt
class
OptValue
val