Überblick

Softwarepaket satchmo (SAT encoding monad) https://github.com/jwaldmann/satchmo

• kapselt zugrundeliegenden Solver (minisat)
• (monadische) Verwaltung von Variablen (State), Klauseln (Writer) und Belegungen (Reader)
• boolesche Unbekannte, Kombinatoren
• Relationen, Graphen
• Zahlen (unär, binär), Polynome

vergleichbar: http://rise4fun.com/Z3Py
(Übung: Unterschiede?)