ToySolver.SAT.Printer

satPrintModel

maxsatPrintModel

pbPrintModel

musPrintSol