| commit | f6ca9612f2c4fb96b42ea0a5599e7b823b2d6f15 | [log] [tgz] |
|---|---|---|
| author | dleberre <dleberre> | Mon Nov 08 19:47:05 2010 +0000 |
| committer | dleberre <dleberre> | Mon Nov 08 19:47:05 2010 +0000 |
| tree | a8ac5910240814a3537bd1df13c6950d43bdced9 | |
| parent | 3414d850f49cd64cf04b00f68dae3f97c1c240c9 [diff] |
Added support for user defined optimization criteria.