Fast SAT Solver (C++, GAlib)
Prohlížeč souborů
Umístění: fss > data
Jméno | Velikost | Poslední změna | |||
[..] | |||||
input-20v-20f-6s.txt | 1.4 KB | 2022-09-09 | 13:06 | Zobrazit | |
input-29v-21f-12596s.txt | 1.3 KB | 2022-09-09 | 13:06 | Zobrazit | |
input98.txt | 7.1 KB | 2022-09-09 | 13:06 | Zobrazit | |
output-29v-21f-12596s.txt | 3.1 MB | 2022-09-09 | 13:06 | Zobrazit |