ToySolver.HittingSet.HTCBDD

Wrapper for htcbdd command.

• HTC-BDD: Hypergraph Transversal Computation with Binary Decision Diagrams http://kuma-san.net/htcbdd.html

Documentation

data Options

Constructors

Options

Fields

optHTCBDDCommand :: FilePath

optMethod :: Method

optOnGetLine :: String -> IO ()

optOnGetErrorLine :: String -> IO ()

data Method

Constructors

MethodToda

MethodKnuth

Instances

Eq Method

Ord Method

Show Method

data Failure

Constructors

Failure !Int

Instances

Show Failure

Exception Failure

Typeable * Failure

defaultOptions :: Options

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