Library presented in the paper