| Copyright | (c) Masahiro Sakai 2012 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
ToySolver.SAT.Printer
Description
Printing utilities.
- satPrintModel :: Handle -> Model -> Int -> IO ()
- maxsatPrintModel :: Handle -> Model -> Int -> IO ()
- pbPrintModel :: Handle -> Model -> Int -> IO ()
- musPrintSol :: Handle -> [Int] -> IO ()
Documentation
satPrintModel :: Handle -> Model -> Int -> IO () Source
Print a Model in a way specified for SAT Competition.
See http://www.satcompetition.org/2011/rules.pdf for details.
maxsatPrintModel :: Handle -> Model -> Int -> IO () Source
Print a Model in a way specified for Max-SAT Evaluation.
See http://maxsat.ia.udl.cat/requirements/ for details.
pbPrintModel :: Handle -> Model -> Int -> IO () Source
Print a Model in a way specified for Pseudo-Boolean Competition.
See http://www.cril.univ-artois.fr/PB12/format.pdf for details.
musPrintSol :: Handle -> [Int] -> IO () Source