This is remarks for grading the project:
Hodges
Apparently implemented <= instead of >=. Consequently one of my simple tests does not run. However it appears that he implemented the correct procedure and other than the above it look good.
testSimpleSat: Failed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Failed testAddUnsat: Passed testAddSat: Failed
3/6
18
Augustyn
Implemented the book sat method which only does difference constraints.
testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed
4/6
17
Yue
You only implemented difference constraints. But a very nice program interface! Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests.
testSimpleSat: Passed testSimpleUnsat: Failed testDiffUnsat: Failed testDiff2Sat: Passed
Although I'm not absolutely certain, I belive you are not reaching a fixpoint when you use log10 in the satisfiable method.
2/6
18
Sadofsky
You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests.
18
Neo
You only implemented difference constraints.
testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed
18
Miao
You only implemented difference constraints.
testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed
18
Ramsey
You only implemented difference constraints. Passes all difference tests.
18