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.

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.

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.

Contact

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