Add ATP library as a dependency