Skip to content

fix: use absolute path to import maude modules

This MR allows running the script ./min-scheduling.py from any folder.

Merge request reports

Loading