package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module M.Internals

val is_available : bool

is_available indicates whether the module is available for use.

val caches_consts : bool

caches_consts indicates whether the solver caches constants.