jukebox-0.1.2: A first-order reasoning toolbox

Safe HaskellNone

Jukebox.SatMin

Documentation

solveLocalMin :: SatSolver s => s -> [Lit] -> [Lit] -> IO BoolSource

localMin :: SatSolver s => s -> [Lit] -> Lit -> [Lit] -> IO ()Source