https://github.com/AaronFive/paramatch
Revision 10d4a500cc97e3f6f4ed07a8d437ecaa6cfbf9ad authored by PhilippeGambette on 21 April 2023, 05:01:41 UTC, committed by PhilippeGambette on 21 April 2023, 05:01:41 UTC
1 parent 75eef58
History
Tip revision: 10d4a500cc97e3f6f4ed07a8d437ecaa6cfbf9ad authored by PhilippeGambette on 21 April 2023, 05:01:41 UTC
: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

README.md

back to top