data/boolector-1.5.118.6b56be4.121013/btorbtor.c:                                                     C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorconst.c:                                                    C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/boolectormain.c:                                                C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btormain.h:                                                     C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorutil.h:                                                     C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btoraigvec.h:                                                   C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/README:                                                         ASCII text
data/boolector-1.5.118.6b56be4.121013/btorsmt2.c:                                                     C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorlogic.h:                                                    C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/makefile.in:                                                    makefile script, ASCII text
data/boolector-1.5.118.6b56be4.121013/btormem.h:                                                      C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorutil.c:                                                     C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorrewrite.c:                                                  C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/synthebtor.c:                                                   C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorexit.h:                                                     C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btoraigvec.c:                                                   C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btoraig.h:                                                      C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/examples/bv/bv1.c:                                              C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/examples/bv/.gitignore:                                         ASCII text
data/boolector-1.5.118.6b56be4.121013/examples/bv/makefile:                                           makefile script, ASCII text
data/boolector-1.5.118.6b56be4.121013/examples/bv/bv2.c:                                              C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/examples/makefile.common:                                       makefile script, ASCII text
data/boolector-1.5.118.6b56be4.121013/examples/array/array2.c:                                        C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/examples/array/.gitignore:                                      ASCII text
data/boolector-1.5.118.6b56be4.121013/examples/array/makefile:                                        makefile script, ASCII text
data/boolector-1.5.118.6b56be4.121013/examples/array/array3.c:                                        C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/examples/array/array1.c:                                        C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/examples/Makefile:                                              makefile script, ASCII text
data/boolector-1.5.118.6b56be4.121013/btormain.c:                                                     C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorexp.h:                                                      C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/boolector.h:                                                    LaTeX document, ASCII text
data/boolector-1.5.118.6b56be4.121013/btormem.c:                                                      C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorconst.h:                                                    C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorhash.h:                                                     C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorsmt.h:                                                      C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorsmt.c:                                                      C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorstack.h:                                                    C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/VERSION:                                                        ASCII text
data/boolector-1.5.118.6b56be4.121013/btorsmt2.h:                                                     C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorconfig.h:                                                   ASCII text
data/boolector-1.5.118.6b56be4.121013/btoraig.c:                                                      C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/NEWS:                                                           ASCII text
data/boolector-1.5.118.6b56be4.121013/btorbtor.h:                                                     C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorsat.h:                                                      C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorparse.h:                                                    C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:                                                    C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorrewrite.h:                                                  C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/boolector.c:                                                    C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/mkconfig:                                                       POSIX shell script, ASCII text executable
data/boolector-1.5.118.6b56be4.121013/btorqueue.h:                                                    C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/Doxyfile:                                                       ASCII text
data/boolector-1.5.118.6b56be4.121013/btorminisat.h:                                                  C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorhash.c:                                                     C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorminisat.cc:                                                 C++ source, ASCII text
data/boolector-1.5.118.6b56be4.121013/COPYING:                                                        ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/lglmain.c:                                            C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/README:                                               ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/makefile.in:                                          makefile script, ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/configure:                                            POSIX shell script, ASCII text executable
data/boolector-1.5.118.6b56be4.121013/lingeling/VERSION:                                              ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/NEWS:                                                 ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/plingeling.c:                                         C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:                                              C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/lglbnr.c:                                             C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/mkconfig:                                             POSIX shell script, ASCII text executable
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:                                              C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.h:                                              C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/COPYING:                                              ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:                                         C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/lingeling/makefile:                                             makefile script, ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/boolector.1:                                             troff or preprocessor input, ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/compat:                                                  ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/source/format:                                           ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/changelog:                                               ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/dirs:                                                    ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/copyright:                                               ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/install:                                                 ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/watch:                                                   ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/patches/debian-changes-1.5.118.6b56be4.121013-1:         unified diff output, ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/patches/series:                                          ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/control:                                                 ASCII text
data/boolector-1.5.118.6b56be4.121013/debian/rules:                                                   makefile script, ASCII text
data/boolector-1.5.118.6b56be4.121013/.pc/.version:                                                   ASCII text
data/boolector-1.5.118.6b56be4.121013/.pc/.quilt_patches:                                             ASCII text
data/boolector-1.5.118.6b56be4.121013/.pc/.quilt_series:                                              ASCII text
data/boolector-1.5.118.6b56be4.121013/.pc/applied-patches:                                            ASCII text
data/boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/btorsat.c:          C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/btorexp.c:          C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/configure:          POSIX shell script, ASCII text executable
data/boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/lingeling/makefile: empty
data/boolector-1.5.118.6b56be4.121013/btorsat.c:                                                      C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/btorexp.c:                                                      C source, ASCII text
data/boolector-1.5.118.6b56be4.121013/configure:                                                      POSIX shell script, ASCII text executable