| commit | da969835f0d86b4b1d2dff3b5bca479ee9c47241 | |
| author | Sebastian Pop <seb@napoca.(none)> | |
| Wed, 23 Jul 2008 04:34:21 +0000 (22 23:34 -0500) | ||
| committer | Sebastian Pop <seb@napoca.(none)> | |
| Wed, 23 Jul 2008 04:34:21 +0000 (22 23:34 -0500) | ||
| tree | 35470b7890dc49c536f2d4077bce8fc8dfc32156 | treesnapshot (tar.gz zip) |
| parent | d62d991feab28cf946fcb6b76f7b14fc0e289b5b | commitdiff |
port domain_simplify, update the expected outputs in the testsuite.
This is an inefficient implementation of domain_simplify. For
matching the PolyLib implementation the code to detect redundant
constraints should be more accurate. One solution could be to use the
GLPK solver that can be bound in with PPL to minimize the constraint
systems. Until this happens, the output of the testsuite is modified
to reflect this new inefficient implementation of domain_simplify.
This is an inefficient implementation of domain_simplify. For
matching the PolyLib implementation the code to detect redundant
constraints should be more accurate. One solution could be to use the
GLPK solver that can be bound in with PPL to minimize the constraint
systems. Until this happens, the output of the testsuite is modified
to reflect this new inefficient implementation of domain_simplify.
115 files changed: