Logic Simulator, written in Python.