jukebox-0.2.15: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.SatMin

Documentation

solveLocalMin :: SatSolver s => s -> [Lit] -> [Lit] -> IO Bool Source #

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