Global Metatheory.jl Options

Metatheory.Options — Type
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