Tools to decompose finite state machines.
Scripts om ANS dingen te automatiseren
Sudoku's oplossen met propositielogica
