The Synthesis ToolKit