Title: A short guide to the use of the library