https://github.com/AaronFive/paramatch
Tip revision: 10d4a500cc97e3f6f4ed07a8d437ecaa6cfbf9ad authored by PhilippeGambette on 21 April 2023, 05:01:41 UTC
:memo: (experiments) corrected 2nd figure
:memo: (experiments) corrected 2nd figure
Tip revision: 10d4a50
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 |
sat_instance.py | -rw-r--r-- | 16.5 KB |
utils.py | -rw-r--r-- | 1.7 KB |