jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Sat.Minimise

Documentation

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

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