Participatory, explorative, qualitative modeling: application of the iMODELER software to assess trade-offs among the SDGs | Synapse