Überblick

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

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


2014-07-06