Get Conjure-Oxide running for the XYZ problem, from Conjure JSON input to generated solutions from multiple solvers.
Solutions should be able to be generated from multiple solvers - in particular, Minion, Kissat, and Chuffed.