Skip to content

Commit

Permalink
fix warnings
Browse files Browse the repository at this point in the history
  • Loading branch information
msakai committed Nov 24, 2024
1 parent 38bf6d3 commit 2148879
Showing 1 changed file with 1 addition and 4 deletions.
5 changes: 1 addition & 4 deletions src/ToySolver/Converter/SAT2MaxSAT.hs
Original file line number Diff line number Diff line change
Expand Up @@ -43,17 +43,14 @@ module ToySolver.Converter.SAT2MaxSAT

-- ** Max-2-SAT to SimpleMaxSAT2 conversion
, SimpleMaxSAT2
, SimplifyMaxSAT2Info (..)
, SimplifyMaxSAT2Info
, simplifyMaxSAT2

-- ** SimpleMaxSAT2 to simple Max-Cut conversion
, SimpleMaxSAT2ToSimpleMaxCutInfo (..)
, simpleMaxSAT2ToSimpleMaxCut
) where

import Control.Monad
import Data.Array.MArray
import Data.Array.ST
import Data.Array.Unboxed
import qualified Data.IntMap as IntMap
import qualified Data.IntSet as IntSet
Expand Down

0 comments on commit 2148879

Please sign in to comment.