Cat-coloured object » from archive
RT @craigstuntz: Just solved a Project Euler problem with the Z3 theorem prover and zero imperative code. Woot.