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.