ksmt-core
0.5.23
ksmt-core
/
io.ksmt.solver
/
KSolver
/
configure
configure
abstract
fun
configure
(
configurator
:
Config
.
(
)
->
Unit
)
Set solver specific options.