Created the IntegerPartialSet library.