We compare a bunch of synthesis techniques regarding their domain in general and applicability regarding program synthesis specifically - View it on GitHub