About the MicSem Library