What makes program synthesis more convenient than writing code directly?
I'm exploring program synthesis systems such as Rosette, where you describe a function through constraints or a formal specification and the system generates an implementation. For a simple…