Česky
Kamil Dudka

Fast SAT Solver (C++, GAlib)

File browser

Download Location: fss
Name Size Last modification
+ data 2008-11-05 23:02 Download
+ doc 2008-11-05 23:02 Download
+ sci-misc 2008-11-05 23:02 Download
+ src 2014-01-20 15:48 Download
.gitignore 33 B 2014-01-20 15:47 Download
COPYING 34.3 KB 2008-11-05 23:03 DownloadView
Makefile 1.7 KB 2008-11-05 23:03 DownloadView
README 2.0 KB 2008-11-05 23:03 DownloadView
THANKS 18 B 2014-01-20 15:47 DownloadView
fss-0.1.ebuild.tar.bz2 1.0 KB 2008-11-04 21:28 Download
fss-0.1.tar.bz2 327.1 KB 2008-11-05 23:03 Download
screenshot.png 189.4 KB 2008-11-05 23:03 DownloadPreviewFull size
version.txt 159 B 2008-11-05 23:03 DownloadView