added solve_with_K methods to do direct sim, as well as changeable history lookup to speed up
split executables and DTRW library