(executables
 (names  solve_1 solve_2)
 (libraries base stdio str))