Crate smt2proxy[−][src]
Expand description
The stm2proxy library provides the command processing functionalities and
configurations used by the binary tool smt2proxy.
Structs
An SMT2 command processor.
Configuration for the SMT2 command processor.