ToySolver.HittingSet.SHD

Wrapper for shd command.

• Hypergraph Dualization Repository http://research.nii.ac.jp/~uno/dualization.html

Documentation

data Options

Constructors

Options

Fields

optSHDCommand :: FilePath

optSHDArgs :: [String]

optOnGetLine :: String -> IO ()

optOnGetErrorLine :: String -> IO ()

data Failure

Constructors

Failure !Int

Instances

Show Failure

Exception Failure

Typeable * Failure

defaultOptions :: Options

minimalHittingSets :: Options -> [HyperEdge] -> IO [HittingSet]