This is the home of the SAT/SMT Solver Summer School 2011 space.
To help you on your way, we've inserted some of our favourite macros on this home page. As you start creating pages, adding news items and commenting you'll see the macros below fill up with all the activity in your space.
