Encoding.Intf
Shared interface for SMT encoding strategies (getAutomaton, Definition 5).
getAutomaton
module type T = sig ... end
The module type shared by both encoding strategies (naive and gen).