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

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

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

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

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

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:

• Every cell has to be filled by a line.
• A line may not touch itself, e.g., it is not a allowed to build a 2x2 square with a line.

For using the tool, it is required that the following programs are installed on your computer:

• The C++-compiler g++ within the gcc-compiler-suite
• The QT-library (version 4.x)
• Python (version 2.6)
• The Python binding for QT (PyQt4)

To install the tool, download NumberLink.zip and proceed as follows.

• Mac OS X
  1. (If Python, g++ / gcc, QT, and PyQt4 are not installed)
     Install Python, QT, and PyQt4 by first installing MacPorts and then calling sudo port install py26-pyqt4. Usually, this will also install a the g++ compiler, otherwise call sudo port install gcc42.
  2. Extract the NumberLink.zip archive and change into the NumberLink directory
  3. Compile the generator and the solver by sh compile_plugins.sh
  4. Start the program by python Numco.py
• Linux
  1. (If Python, g++ / gcc, QT, and PyQt4 are not installed)
     Install all these programs using the package manager of your distribution or visit the PyQt4-website and Python-website to download these programs.
  2. Proceed as in step 2 of the Mac OS X description.
• Windows
  1. (If Python, QT, and PyQt4 are not installed)
     Install Python 2.6.x, QT, and PyQt4 (QT and PyQt4 are both included in PyQt-Py2.6-gpl-4.6.1-1.exe from the PyQt4-website)
  2. (If g++ / gcc are not installed)
     Install cygwin where you have to select the package gcc-g++ of the Devel-category.
  3. Proceed as in step 2 of the Mac OS X description within a cygwin shell.
     This might look as follows after extracting the .zip-file.
     • cd /cygdrive/c/Users/myname/NumberLink
     • sh compile_plugins.sh
     • /cygdrive/c/Python26/python Numco.py

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

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

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

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.