Crate smt2proxy[−][src]
Expand description
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. |