| commit | 8d2d47c8c7256445a567ec701b773dba07df6fd0 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 5 Oct 2007 07:33:16 +0000 (5 09:33 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 25 Oct 2007 12:08:40 +0000 (25 14:08 +0200) | ||
| tree | d853e2cd7a02a3ae981f0aed70e4d0c4ad74b366 | treesnapshot (tar.gz zip) |
| parent | d63812ac8702addc5221962b071cb25491e83690 | commitdiff |
keep track of and use saturating constraints in Param_Polyhedron