createPipe package:smtlib-backends-process

Create a new pipe. The returned Handle will use the default encoding and newline translation mode (just like Handles created by openFile).