Česky
Kamil Dudka

Fast SAT Solver (C++, GAlib)

File detail

Name:Downloadversion.txt [Download]
Location: fss
Size:159 B
Last modification:2008-11-05 23:03

File content

commit 6333a74abf248ad4ecefc2f101eb232627b850ac
Author: Kamil Dudka <address@hidden.net>
Date:   Wed Nov 5 22:51:31 2008 +0100

    clean api dox on distclean