Incremental synthesis
avanhatt opened this issue · comments
The first query should not use the cost model at all. The subsequent queries can then use the resulting program as an upper bound on cost.
Initial change in 9874164.
Full effect not there yet because synthesize does not re-use the solver out of the box.