def input_from_cons(constupl, datas):
def make_chr(c):<EOL><INDENT>try:<EOL><INDENT>return chr(c)<EOL><DEDENT>except Exception:<EOL><INDENT>return c<EOL><DEDENT><DEDENT>newset = constraints_to_constraintset(constupl)<EOL>ret = '<STR_LIT>'<EOL>for data in datas:<EOL><INDENT>for c in data:<EOL><INDENT>ret += make_chr(solver.get_value(newset, c))<EOL><DEDENT><DEDENT>return ret<EOL>
solve bytes in |datas| based on