| 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.
Synopsis
- satPrintModel :: Handle -> Model -> Int -> IO ()
- maxsatPrintModel :: Handle -> Model -> Int -> IO ()
- maxsatPrintModelCompact :: 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.
maxsatPrintModelCompact :: Handle -> Model -> Int -> IO () Source #
Print a Model in the new compact way specified for Max-SAT Evaluation >=2020.
See https://maxsat-evaluations.github.io/2020/vline.html 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.