Allow writeProblem to write to stdout#926

Merged

Opt-Mucca merged 7 commits intomasterfrom

add-printOrigProblem

Dec 2, 2024

Commits on Nov 30, 2024

Replaced with displayProblem
Joao-Dionisio
committed

Commits on Dec 2, 2024