Logic Puzzles

Introduction

Welcome to the logic puzzles site of the computational logic group. On this site we present tools for various logic puzzles that have been developed by students as their bachelor project.

Heyawake

Screenshot Heyawake

The tool for Heyawake was developed by Thomas Wohlfarter.It is written in Java.
For using the tool, just download Heyawake.zip, extract the .zip-file and follow the instructions in the README-file.

Kurodoko

Screenshot Kurodoko

The tool for Kurodoko was developed by Johannes Koch. It was developed as an webapp and is accessible at https://kurodoko.xyz.

Masyu

Screenshot Masyu

The tool for masyu was developed by Manfred Gratt and Daniel Rieder. It is entirely written in Java.
For using the tool, just download Masyu.zip, extract the .zip-file and double-click on Masyu.jar. It is assumed that a java runtime environment (version 6 or newer) is installed.

Norinori

Screenshot Norinori

The tool for norinori was developed by Alexander Jungmann. It is written in Java.
For using the tool, just download Norinori.zip, and follow the README file for further instructions.

Numberlink

Screenshot NumberLink

The tool for numberlink was developed by Benjamin Rupprechter. It is written in Python and C++ using the QT-library. As observed by Otto Janko, the tool does not implement exactly the numberlink rules of Nikoli, since it imposes two additional rules:


For using the tool, it is required that the following programs are installed on your computer: To install the tool, download NumberLink.zip and proceed as follows.

Ripple Effect

Screenshot Ripple Effect

The tool for ripple effect was developed by Wilfried Pasquazzo. It is entirely written in Java.
For using the tool, just download RippleEffect.zip, extract the .zip-file and double-click on rippleEffect.jar. It is assumed that a java runtime environment (version 6 or newer) is installed.

Slitherlink

Screenshot SlitherLink

The tool for slitherlink was developed by Lorenz Thuile. It is entirely written in Java.
For using the tool, just download SlitherLink.zip, extract the .zip-file and double-click on SlitherLink.jar. It is assumed that a java runtime environment (version 6 or newer) is installed.

Shakashaka

Screenshot Shakashaka

The tool for Shakashaka was developed by Stefan Pedratscher. It is entirely written in Java.
For using the tool, just download Shakashaka.zip, extract the .zip-file, run the executable for your operating system and find the tool in your browser at http://localhost:8080. Consult the README file within the .zip-file for further details. It is assumed that a java runtime environment is installed.

Tentai-Show

Screenshot Tentai-Show

The tool for Tentai-Show was developed by Michaela Egger. It is entirely written in Java. For using the tool, just download TentaiShow.zip, extract the .zip-file, run the executable for your operating system and find the tool in your browser at http://localhost:8080. Consult the README file within the .zip-file for further details. It is assumed that a java runtime environment is installed.

Contact

In case of questions or problems do not hesitate to contact René Thiemann.