Automatische Hilfsvariablen

• Datentyp Boolean, automatisches Weiterzählen
• WriterMonad für CNF
• ReaderMonad für Resultat

import Satchmo.Boolean 
import Satchmo.Solve
test :: SAT ( Decode Bool )
test = solve $ do 
    x <- boolean -- Allokation einer Variablen
    assert [ not x ]
    return $ decode x