M_with_make.Internals
val name : string
name indicates the name of the solver for query logging and debugging purposes.
name
val is_available : bool
is_available indicates whether the module is available for use.
is_available
val caches_consts : bool
caches_consts indicates whether the solver caches constants.
caches_consts
val was_interrupted : bool Smtml_prelude.ref
was_interrupted indicates if the solver was interrupted.
was_interrupted