Expand description
The stm2proxy library provides the command processing functionalities and
configurations used by the binary tool smt2proxy.
Structsยง
- Command
Processor - An SMT2 command processor.
- Command
Processor Config - Configuration for the SMT2 command processor.