• GSoC 2010 Supercharging Assumptions Report
• About Me
• Introduction
• The GSoC Project
• Removal of Old Assumptions
• SAT Solver
• Knowledge Compilation
• Working with SymPy
• Communication
• Version Control
• Conclusions and Future Work