Library to compute Envy-free Rent Division