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