The following code shows a sample of calling a program in Haskell code. It works with compilation (i.e., >ghc CallSATSolver.hs) but not GHCI. import System.Exit import System.Process import Control.Monadmain :: IO () main = do putStrLn "Ru…