| 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 |
| 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 |