jukebox-0.2.11: A first-order reasoning toolbox
Jukebox.SatMin
solveLocalMin :: SatSolver s => s -> [Lit] -> [Lit] -> IO Bool Source #
localMin :: SatSolver s => s -> [Lit] -> Lit -> [Lit] -> IO () Source #