Projects

name description posts
2048 A python implementation for the terminal of the game 2048
alcasat A solver for the pen and paper puzzle alcazar coded in python and using SAT-techniques alcasat
battlecode A programming competition organized by the MIT 2014
fungine A java 3D game engine. Mainly used for testing graphic techniques (deferred rendering, ssao, hdr lighting, rift compatibility, ...) radiosity baker
Slitherlink-Reloaded My bachelor thesis. Solving Slitherlink puzzles with SAT-solving techinques.
tvthek A small link parser written in Java for the Austrian public service broadcaster ORF tvthek
this site The site you are currently on howto