[gholap]

Brainbox (http://www.brainbox-demo.de/home/) is another similar logic simulator. It is open source and the code is well-written.