Finding unknown algorithm using only input/output pairs and Z3 SMT solver

Tags: