heise+ | Wie man Logikrätsel mit Computerhilfe löst

Mithilfe von Python und der Bibliothek PySAT Ratsel losen: Um Probleme zu formalisieren, brauchen Sie boolesche Algebra. In all das fuhrt dieser Artikel ein.