toysolver-0.5.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
ToySolver.Converter.SAT2KSAT
Description
convert :: Int -> CNF -> (CNF, Model -> Model, Model -> Model) Source #