Skip to content

Latest commit

 

History

History
19 lines (15 loc) · 837 Bytes

README.md

File metadata and controls

19 lines (15 loc) · 837 Bytes

Meta-Programming

Please modify meta-normal.lp, meta-constraints.lp and weighted-many.lp with your encodings.

Every time you will push a new commit, your solution will be tested automatically. 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 on:

  1. The specific test,
  2. "Autograding",
  3. "Run education/autograding@v1", and
  4. Scrolling down until line ~150.

There, 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)
  • "error" (clingo error).

For each instance, you can find the expected solutions in the solutions folder.