Overview
| Comment: | tools/smaz: add selection of the scoring method in optimization |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
6877c806ab8df40620ed6f27a8fd3315 |
| User & Date: | nat on 2016-10-31 22:53:58 |
| Other Links: | manifest | tags |
Context
|
2016-11-01
| ||
| 21:32 | tools/smaz: fix option arguments in help text check-in: 8a29fd3a72 user: nat tags: trunk | |
|
2016-10-31
| ||
| 22:53 | tools/smaz: add selection of the scoring method in optimization check-in: 6877c806ab user: nat tags: trunk | |
|
2016-10-30
| ||
| 18:19 | tools/sxcat: add a command-line option to output a list of input atoms check-in: ac88f5abfb user: nat tags: trunk | |
Changes
Modified tools/smaz.adb from [fa5ab81891] to [cc397d7cf7]. [diff]