Today is easy creating user’s satisfaction enquiries. Some tools are for free (eg Surveymonkey or Typeform) and other more complex but commercial (eg Qualtrics).
Measure user’s satisfaction is the best way to check how library is efficient, and you can choose apply the questionnaire on a specific date or permanently.
Online user satisfaction enquiry
2