* add solve_buffer to api and update google ctf script to use it * start adding push/pop_constraints functionality * remove push/pop constraints, just use with * add mark's changes * add solve_buffer to api.rst * fix typo
* add solve_buffer to api and update google ctf script to use it * start adding push/pop_constraints functionality * remove push/pop constraints, just use with * add mark's changes * add solve_buffer to api.rst * fix typo