This is remarks for grading the project:

Hodges

Apparently implemented <= instead of >=. Consequently one of my simple tests does not run.

18

Augustyn

Implemented the book sat method which only does difference constraints.

17