Software

BoolTool

The BoolTool implements several algorithms on Boolean formulas and BDDs.

Finite Automata Tool

The finite automata tool visualizes several algorithms on finite automata.

Logic Puzzles

The site of logic puzzles contains a list of tools for various logic puzzles that have been developed within bachelor projects.