Česky
Kamil Dudka

Fast SAT Solver (C++, GAlib)

File browser

Download Location: fss > data
Name Size Last modification
[..]
input-20v-20f-6s.txt 1.4 KB 2008-11-05 23:02 DownloadView
input-29v-21f-12596s.txt 1.3 KB 2008-11-05 23:02 DownloadView
input98.txt 7.1 KB 2008-11-05 23:02 DownloadView
output-29v-21f-12596s.txt 3.1 MB 2008-11-05 23:02 DownloadView