setr

Abstract domain library for sets
IN THIS PACKAGE