English
Kamil Dudka

Fast SAT Solver (C++, GAlib)

Prohlížeč souborů

Stáhnout Umístění: fss
Jméno Velikost Poslední změna
+ data 2008-11-05 23:02 Stáhnout
+ doc 2008-11-05 23:02 Stáhnout
+ sci-misc 2008-11-05 23:02 Stáhnout
+ src 2014-01-20 15:48 Stáhnout
.gitignore 33 B 2014-01-20 15:47 Stáhnout
COPYING 34.3 KB 2008-11-05 23:03 StáhnoutZobrazit
Makefile 1.7 KB 2008-11-05 23:03 StáhnoutZobrazit
README 2.0 KB 2008-11-05 23:03 StáhnoutZobrazit
THANKS 18 B 2014-01-20 15:47 StáhnoutZobrazit
fss-0.1.ebuild.tar.bz2 1.0 KB 2008-11-04 21:28 Stáhnout
fss-0.1.tar.bz2 327.1 KB 2008-11-05 23:03 Stáhnout
screenshot.png 189.4 KB 2008-11-05 23:03 StáhnoutNáhledPlná velikost
version.txt 159 B 2008-11-05 23:03 StáhnoutZobrazit