rAKA/examples/python/solver_callback/CMakeLists.txt

features/terms-to-add…