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