Z3 Puzzle Solver Examples
The End Is Nigh is a fun game that I have been playing recently by Edmund McMillen (and Tyler Glaiel), creator of Super Meat Boy, amongst other things.
I’ve been enjoying some of the challenges and contests at www.codingame.com recently.
This is my custom painted Xbox 360 Controller:
This model kit was a birthday present from my brother. It has taken me quite a long time to get it looking like this!