|
⇤ ← Revision 1 as of 2007-04-09 17:30:36
Size: 260
Comment:
|
Size: 1077
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 5: | Line 5: |
| Apparently implemented <= instead of >=. Consequently one of my simple tests does not run. | 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. |
| Line 7: | Line 7: |
| 18 | 19 |
| Line 15: | Line 15: |
== 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. 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. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests. 18 == Miao == You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests. 18 == Ramsey == You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests. 18 |
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.
19
Augustyn
Implemented the book sat method which only does difference constraints.
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.
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. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests.
18
Miao
You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests.
18
Ramsey
You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests.
18