The library is located at https://github.com/dadul96/Arduino-Servo-Hardware-PWM-Library Thanks Daniel Duller