Conflict-Driven Synthesis for Layout Engines