added a pair equality helper for doubles
removed negative check for capacity updates, because demand capacities can go negative, i.e., for now, for multiple demand constraints can exist and the minimally satisfying one can more than minimally satisfy another
full translation, solution, and back translation process complete. remaining tasks include checking model equality and dealing with the non-supply-constrained case.