rAKA/bugfixes%2Fboundary_changes_in_solver

bugfixes/64bit-integer…