Global Metatheory.jl Options
Metatheory.Options
— Typemutable 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
multithreading::Bool
Allow for multi-threading Default: false