| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| Common/ | H | 24-Feb-2019 | - | 675 | 450 | |
| CutGen/ | H | 24-Feb-2019 | - | 7,253 | 5,791 | |
| CutPool/ | H | 24-Feb-2019 | - | 418 | 287 | |
| DrawGraph/ | H | 24-Feb-2019 | - | 820 | 583 | |
| Heuristics/ | H | 24-Feb-2019 | - | 5,563 | 3,491 | |
| LP/ | H | 24-Feb-2019 | - | 2,061 | 1,505 | |
| Master/ | H | 24-Feb-2019 | - | 4,420 | 3,246 |