h&F      Safe-Inferred!$%' smtlib-backends-processThe process running the solver.smtlib-backends-process?A process reading the solver's error messages and logging them.smtlib-backends-process&The command to call to run the solver.smtlib-backends-process*Arguments to pass to the solver's command.smtlib-backends-processA function for logging the solver process' messages on stderr and file handle exceptions. If you want line breaks between each log message, you need to implement it yourself, e.g use  . (<> "n"). smtlib-backends-processRun a solver as a process. Failures relative to terminating the process are logged and discarded. smtlib-backends-process7Wait for the process to exit and cleanup its resources. smtlib-backends-processTerminate the process, wait for it to actually exit and cleanup its resources. Don't use this if you're manually stopping the solver process by sending an (exit) command. Use   instead. smtlib-backends-processCreate a solver process, use it to make a computation and stop it. Don't use this if you're manually stopping the solver process by sending an (exit) command. Use  \config ->  (  config)   instead. smtlib-backends-process0Make the solver process into an SMT-LIB backend.smtlib-backends-processBy default, use Z3 as an external process and ignore log messages. 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.2-inplaceSMTLIB.Backends.Process System.IObracketHandleprocess errorReaderConfigexeargs reportErrornewwaitclosewith toBackend$fDefaultConfigbytestring-0.10.12.1Data.ByteString.LazyputStr:<