Package io.ksmt

• Class Summary 

  Class	Description
  KAst
  KContext

• Enum Summary 

  Enum	Description
  OperationMode	Allow or disallow concurrent execution of KContext operations (e.g.
  AstManagementMode	Enable or disable Garbage Collection of unused KSMT expressions.
  SimplificationMode	Enable or disable expression simplification during expression creation.