gotranx: General ODE translator. - Henrik Finsberg; Johan Hake (J. Open Source Softw., 2024)