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

Mithilfe von Python und der Bibliothek PySAT Rätsel lösen: Um Probleme zu formalisieren, brauchen Sie boolesche Algebra. In all das führt dieser Artikel ein.