Skip to content

fix: use absolute path to import maude modules

Jaime Arias requested to merge (removed):master into master

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

Merge request reports