swh:1:snp:761bf420579abd611e586d5b8df8e01757cdccc7
Tip revision: 0a0f7f8b94675089d1cc23edf744f58690840ee4 authored by PhilippeGambette on 11 April 2024, 06:39:17 UTC
:lipstick: (greedy heuristic) renamed to be consisted with previous naming conventions
:lipstick: (greedy heuristic) renamed to be consisted with previous naming conventions
Tip revision: 0a0f7f8
| File | Mode | Size |
|---|---|---|
| .idea | ||
| Resultats FPT | ||
| corpus10pairs | ||
| .gitignore | -rw-r--r-- | 1.8 KB |
| README.md | -rw-r--r-- | 3.0 KB |
| fpt_alphabet_size.py | -rw-r--r-- | 12.2 KB |
| greedy-alignment-heuristic.py | -rw-r--r-- | 11.7 KB |
| sat_instance.py | -rw-r--r-- | 16.5 KB |
| utils.py | -rw-r--r-- | 1.7 KB |
