edits
[satlib.git] / lingeling / code /
drwxr-xr-x   ..
-rw-r--r-- 1958 COPYING
-rw-r--r-- 4 VERSION
-rwxr-xr-x 7102 configure.sh
-rw-r--r-- 1599 lglbnr.c
-rw-r--r-- 8112 lgldimacs.c
-rw-r--r-- 931 lgldimacs.h
-rw-r--r-- 809412 lglib.c
-rw-r--r-- 14275 lglib.h
-rw-r--r-- 23188 lglmain.c
-rw-r--r-- 2813 makefile.in
-rwxr-xr-x 553 mkconfig.sh