Skip navigation links

Package de.uka.ilkd.key.smt.communication

This package contains the classes and interfaces to create the external SMT solver processes and communicate with them: ExternalProcessLauncher creates and starts the external process and connects it to the pipe. Pipe is responsible for sending and receiving input/output strings to/from the external process.

See: Description

Package de.uka.ilkd.key.smt.communication Description

This package contains the classes and interfaces to create the external SMT solver processes and communicate with them:
Skip navigation links

Copyright © 2003-2019 The KeY-Project.