This library implements the Simple Separation Logic abstract domain.