Arcflow Formulations and Constraint Generation Frameworks for the Two Bar Charts Packing Problem | Synapse