Import PicoSAT-965picosat-965
[cl-satwrap.git] / backends / picosat / 
treefbc2979eeb8b94dd0052e8e4d8d713b1afc2d684
drwxr-xr-x   ..
-rw-r--r-- 1220 LICENSE
-rw-r--r-- 4787 NEWS
-rw-r--r-- 284 README
-rw-r--r-- 67 VERSION
-rw-r--r-- 31308 app.c
-rwxr-xr-x 2721 configure
-rwxr-xr-x 3227 configure.sh
-rw-r--r-- 1945 main.c
-rw-r--r-- 1839 makefile.in
-rwxr-xr-x 550 mkconfig
-rwxr-xr-x 553 mkconfig.sh
-rw-r--r-- 5179 picogcnf.c
-rw-r--r-- 8396 picomcs.c
-rw-r--r-- 12595 picomus.c
-rw-r--r-- 271826 picosat.c
-rw-r--r-- 36427 picosat.h
-rw-r--r-- 168 version.c