Is the analogWrite Implementation of PICO hardware or ISR based?

Your library examples are in category of UNSUPPORTED in the arduino examples tab.

I am also having a hard time , so the duty cycle parameter what is the value range? 0- 100 because it seem to have a double data type