msakai / haskell-MIP / 72

Build # 72

Build Type

push

github-actions

Committed by GitHub

Commit Message

<a href="https://github.com/msakai/haskell-MIP/commit/<a class=hub.com/msakai/haskell-MIP/commit/<a class="double-link" href="https://git"><a class=hub.com/msakai/haskell-MIP/commit/<a class="double-link" href="https://git"><a class=hub.com/msakai/haskell-MIP/commit/c2338942d45c2cc40935397007886556bae63714">c2338942d">&lt;a href=&quot;https://github.com/msakai/haskell-MIP/commit/</a><a class="double-link" href="https://github.com/msakai/haskell-MIP/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/msakai/haskell-MIP/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/msakai/haskell-MIP/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/msakai/haskell-MIP/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/msakai/haskell-MIP/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/msakai/haskell-MIP/commit/c2338942d45c2cc40935397007886556bae63714">c2338942d</a><a href="https://github.com/msakai/haskell-MIP/commit/c2338942d45c2cc40935397007886556bae63714">&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/msakai/haskell-MIP/commit/&lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/msakai/haskell-MIP/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/msakai/haskell-MIP/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/msakai/haskell-MIP/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/msakai/haskell-MIP/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/msakai/haskell-MIP/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/msakai/haskell-MIP/commit/c2338942d45c2cc40935397007886556bae63714&quot;&gt;c2338942d&lt;/a&gt;&lt;a href=&quot;https://github.com/msakai/haskell-MIP/commit/c2338942d45c2cc... (continued)

Run Details

1008 of 1733 relevant lines covered (58.17%)

0.58 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

76.67

/MIP/src/Numeric/Optimization/MIP/Solver/SCIP.hs

{-# OPTIONS_GHC -Wall #-}
{-# OPTIONS_HADDOCK show-extensions #-}
{-# LANGUAGE MultiParamTypeClasses #-}
-----------------------------------------------------------------------------
-- |
-- Module      :  Numeric.Optimization.MIP.Solver.SCIP
-- Copyright   :  (c) Masahiro Sakai 2017
-- License     :  BSD-style
--
-- Maintainer  :  masahiro.sakai@gmail.com
-- Stability   :  provisional
-- Portability :  non-portable
--
-----------------------------------------------------------------------------
module Numeric.Optimization.MIP.Solver.SCIP
  ( SCIP (..)
  , scip
  ) where

import Data.Default.Class
import qualified Data.Text.Lazy.IO as TLIO
import System.Exit
import System.IO
import System.IO.Temp
import qualified Numeric.Optimization.MIP.LPFile as LPFile
import Numeric.Optimization.MIP.Solver.Base
import qualified Numeric.Optimization.MIP.Solution.SCIP as ScipSol
import Numeric.Optimization.MIP.Internal.ProcessUtil (runProcessWithOutputCallback)

data SCIP
  = SCIP
  { scipPath :: String
  , scipArgs :: [String]
  , scipCommands :: [String]
  }

instance Default SCIP where
  def = scip

scip :: SCIP
scip = SCIP "scip" [] []

instance IsSolver SCIP IO where
  solve solver opt prob = do
    case LPFile.render def prob of
      Left err -> ioError $ userError err
      Right lp -> do
        withSystemTempFile "scip.lp" $ \fname1 h1 -> do
          TLIO.hPutStr h1 lp
          hClose h1
          withSystemTempFile "scip.sol" $ \fname2 h2 -> do
            hClose h2
            let commands = 
                  [ "read " ++ show fname1 ] ++
                  (case solveTimeLimit opt of
                     Nothing -> []
                     Just sec -> ["set limits time " ++ show sec]) ++
                  scipCommands solver ++
                  [ "optimize"
                  , "write solution " ++ show fname2
                  , "quit"
                  ]
                args = scipArgs solver ++ concat [["-c", cmd] | cmd <- commands]
                onGetLine = solveLogger opt
                onGetErrorLine = solveErrorLogger opt
            exitcode <- runProcessWithOutputCallback (scipPath solver) args "" onGetLine onGetErrorLine
            case exitcode of
              ExitFailure n -> ioError $ userError $ "exit with " ++ show n
              ExitSuccess -> ScipSol.readFile fname2

1	{-# OPTIONS_GHC -Wall #-}
2	{-# OPTIONS_HADDOCK show-extensions #-}
3	{-# LANGUAGE MultiParamTypeClasses #-}
4	-----------------------------------------------------------------------------
5	-- \|
6	-- Module : Numeric.Optimization.MIP.Solver.SCIP
7	-- Copyright : (c) Masahiro Sakai 2017
8	-- License : BSD-style
9	--
10	-- Maintainer : masahiro.sakai@gmail.com
11	-- Stability : provisional
12	-- Portability : non-portable
13	--
14	-----------------------------------------------------------------------------
15	module Numeric.Optimization.MIP.Solver.SCIP
16	( SCIP (..)
17	, scip
18	) where
19
20	import Data.Default.Class
21	import qualified Data.Text.Lazy.IO as TLIO
22	import System.Exit
23	import System.IO
24	import System.IO.Temp
25	import qualified Numeric.Optimization.MIP.LPFile as LPFile
26	import Numeric.Optimization.MIP.Solver.Base
27	import qualified Numeric.Optimization.MIP.Solution.SCIP as ScipSol
28	import Numeric.Optimization.MIP.Internal.ProcessUtil (runProcessWithOutputCallback)
29
30	data SCIP
31	= SCIP
32	{ scipPath :: String	1✔
33	, scipArgs :: [String]	1✔
34	, scipCommands :: [String]	1✔
35	}
36
37	instance Default SCIP where
38	def = scip	×
39
40	scip :: SCIP
41	scip = SCIP "scip" [] []	1✔
42
43	instance IsSolver SCIP IO where
44	solve solver opt prob = do	1✔
45	case LPFile.render def prob of	×
46	Left err -> ioError $ userError err	×
47	Right lp -> do	1✔
48	withSystemTempFile "scip.lp" $ \fname1 h1 -> do	1✔
49	TLIO.hPutStr h1 lp	1✔
50	hClose h1	1✔
51	withSystemTempFile "scip.sol" $ \fname2 h2 -> do	1✔
52	hClose h2	1✔
53	let commands =	1✔
54	[ "read " ++ show fname1 ] ++	1✔
55	(case solveTimeLimit opt of	1✔
56	Nothing -> []	1✔
57	Just sec -> ["set limits time " ++ show sec]) ++	×
58	scipCommands solver ++	1✔
59	[ "optimize"	1✔
60	, "write solution " ++ show fname2	1✔
61	, "quit"	1✔
62	]
63	args = scipArgs solver ++ concat [["-c", cmd] \| cmd <- commands]	1✔
64	onGetLine = solveLogger opt	1✔
65	onGetErrorLine = solveErrorLogger opt	×
66	exitcode <- runProcessWithOutputCallback (scipPath solver) args "" onGetLine onGetErrorLine	×
67	case exitcode of	1✔
68	ExitFailure n -> ioError $ userError $ "exit with " ++ show n	×
69	ExitSuccess -> ScipSol.readFile fname2	1✔

msakai / haskell-MIP / 72

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous