Global Metatheory.jl Options

mutable struct Options

Global configurable options for Metatheory.

Fields

• verbose::Bool

  Print or not information such as saturation reports Default: false

• printiter::Bool

  Print iteration numbers in equality saturation Default: false