You can find the instructions of the project in the file shifts.ipynb.
To submit your solution, please modify the file shifts.lp of the directory asp with your encoding.
Every time you push a new commit, your solution will be tested automatically.
The timeout per instance is 100 seconds, and
the actual command call for the test is:
python3.8 asp/test.py -e asp/shifts.lp -i asp/instances -s asp/solutions -t 100
For help, type python3.8 asp/test.py --help.
After the tests are run, you will be able to see the results in the Actions tab:
- Select one of the tests, click in run-autograding-tests and go to the tab "Print output"