Îõ³h&ßk      Safe-Inferred"%&(Üë7 smtlib-backends-processThe process running the solver.smtlib-backends-process!The input channel of the process. smtlib-backends-process"The output channel of the process. smtlib-backends-process!The error channel of the process. smtlib-backends-process&The command to call to run the solver.smtlib-backends-process*Arguments to pass to the solver's command.smtlib-backends-process$How to handle std_err of the solver.smtlib-backends-processÃBy default, use Z3 as an external process and ignores log messages.smtlib-backends-processRun a solver as a process.smtlib-backends-process;Send a command to the process without reading its response.smtlib-backends-processÎCleanup the process' resources, terminate it and wait for it to actually exit.smtlib-backends-processÃCreate a solver process, use it to make a computation and close it.smtlib-backends-process0Make the solver process into an SMT-LIB backend.smtlib-backends-process"The solver process' configuration.smtlib-backends-process"The solver process' configuration.smtlib-backends-process.The computation to run with the solver process     5      #smtlib-backends-process-0.3-inplaceSMTLIB.Backends.Processprocess-1.6.13.2System.Process.Common UseHandleNoStreamInherit CreatePipe StdStreamHandleprocesshInhOut hMaybeErrConfigexeargsstd_err defaultConfignewclosewith toBackendwrite:<