Skip to content

potassco-asp-course/project-light

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 
 
 

Repository files navigation

Light Project

You can find the instructions of the project in the file light.ipynb.

To submit your solution, please modify the file light.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/light.lp -i asp/instances -s asp/solutions -t 100

For help, type python3.8 asp/test.py --help.

After a few minutes you will be able to see the result of the test in the Actions tab. You can get more information about the result of the test by clicking successively on:

  1. The specific test.
  2. "Autograding".
  3. "Run education/autograding@v1".

Then scroll down until around line 150. For each instance, you will see if the test is a:

  • "success" (correct answer),
  • "failure" (wrong answer),
  • "timeout" (no solution found before the time runs out), or
  • "error" (clingo error).

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published