de.uka.ilkd.key.smt.communication
Interfaces
Pipe
Classes
AbstractSolverSocket
ExternalProcessLauncher
SimplePipe
SolverCommunication
SolverCommunication.Message
Enums
SolverCommunication.MessageType