replace ABT algo with one from library (removed solve function)