XBT_PUBLIC void SD_create_environment(const char* platform_file);
XBT_PUBLIC void SD_simulate(double how_long);
XBT_PUBLIC void SD_simulate_with_update(double how_long, xbt_dynar_t changed_tasks_dynar);
XBT_PUBLIC void SD_create_environment(const char* platform_file);
XBT_PUBLIC void SD_simulate(double how_long);
XBT_PUBLIC void SD_simulate_with_update(double how_long, xbt_dynar_t changed_tasks_dynar);