Skip to content

fix: use absolute path to import maude modules

Jaime Ariasrequested to merge
(removed):master into master

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

Merge request reports