jbakermans/program-search

Constructive reasoning: solve tangram-tetris with program synthesis

Python