This project is developed by the Department of Sustainability and Innovation in Digital Ecosystems at the University of Duisburg-Essen.

This project is a Python solver for classic Knights and Knaves puzzles. In these puzzles, characters are either knights, who always tell the truth, or knaves, who always lie. The program uses symbolic ...

Last week, we asked you to solve ‘The Hardest Logic Puzzle In The World.” This week, we’re asking you to do it again – with a brand new puzzle. Let me begin by stating the obvious: The notion that any ...