ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
KContext
KContext
fun
KContext
(
operationMode
:
KContext.OperationMode
=
CONCURRENT
,
astManagementMode
:
KContext.AstManagementMode
=
GC
,
simplificationMode
:
KContext.SimplificationMode
=
SIMPLIFY
,
printerParams
:
PrinterParams
=
PrinterParams()
)