source: branches @ 607

Name Size Rev Age Author Last Change
../
devel 607   12 years lou Add names for heuristic, analogous to names for cut generators.
Note: See TracBrowser for help on using the repository browser.