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