Text this: An Integer Linear Programming Model for Partially Ordered Sets