Rainbows And Pwnies Symbolic Execution Engine. This engine is under rapid development may not execute its test cases correctly. I push commits when I can.
For more information see: http://myw3b.net/blog/index.php/2012/06/making-a-symbolic-execution-engine/