Module Swal

module Algebra = Algebra
module Automata = Automata
module Encoding = Encoding
module Solver : sig ... end

SMT solver selector: dispatches --smt z3|cvc5|bitwuzla to the appropriate Smtml.Solver.Incremental backend.

module Stats : sig ... end

Global statistics accumulator, written to SWAL-<uuid>.json at end of run.

module Teacher : sig ... end

Minimally adequate teacher (MAT) oracle for active learning.

module Learner : sig ... end

Active learning algorithms for WFAs.

module Lang = Lang
module Config : sig ... end

CLI configuration: parses all -- arguments and assembles the t record passed to bin/main.ml. Uses Cmdliner for argument handling.