Hello,
Thank you for Scip, it is a lot of fun! It would be nice to be able to write problem to the AMPL format (.mod, .dat). https://ampl.com/ After that, it would be possible to test commercial solvers via the NEOS server (e.g. in the MILP section).
Thank you for considering it! Best regards, Pavel