data/minisat2-2.2.1/.gitignore:                                 ASCII text
data/minisat2-2.2.1/LICENSE:                                    ASCII text
data/minisat2-2.2.1/Makefile:                                   makefile script, ASCII text
data/minisat2-2.2.1/README:                                     ASCII text
data/minisat2-2.2.1/doc/ReleaseNotes-2.2.0.txt:                 ASCII text
data/minisat2-2.2.1/minisat/core/Dimacs.h:                      C++ source, ASCII text
data/minisat2-2.2.1/minisat/core/Main.cc:                       C source, ASCII text
data/minisat2-2.2.1/minisat/core/Solver.cc:                     C source, ASCII text
data/minisat2-2.2.1/minisat/core/Solver.h:                      C++ source, ASCII text
data/minisat2-2.2.1/minisat/core/SolverTypes.h:                 C++ source, ASCII text
data/minisat2-2.2.1/minisat/mtl/Alg.h:                          C++ source, ASCII text
data/minisat2-2.2.1/minisat/mtl/Alloc.h:                        C++ source, ASCII text
data/minisat2-2.2.1/minisat/mtl/Heap.h:                         C++ source, ASCII text
data/minisat2-2.2.1/minisat/mtl/IntTypes.h:                     C source, ASCII text
data/minisat2-2.2.1/minisat/mtl/Map.h:                          C++ source, ASCII text
data/minisat2-2.2.1/minisat/mtl/Queue.h:                        C++ source, ASCII text
data/minisat2-2.2.1/minisat/mtl/Sort.h:                         C++ source, ASCII text
data/minisat2-2.2.1/minisat/mtl/Vec.h:                          C++ source, ASCII text
data/minisat2-2.2.1/minisat/mtl/XAlloc.h:                       C++ source, ASCII text
data/minisat2-2.2.1/minisat/simp/SimpSolver.cc:                 C source, ASCII text
data/minisat2-2.2.1/minisat/simp/SimpSolver.h:                  C++ source, ASCII text
data/minisat2-2.2.1/minisat/simp/Main.cc:                       C source, ASCII text
data/minisat2-2.2.1/minisat/utils/Options.cc:                   C source, ASCII text
data/minisat2-2.2.1/minisat/utils/Options.h:                    C++ source, ASCII text
data/minisat2-2.2.1/minisat/utils/ParseUtils.h:                 C++ source, ASCII text
data/minisat2-2.2.1/minisat/utils/System.cc:                    C source, ASCII text
data/minisat2-2.2.1/minisat/utils/System.h:                     C++ source, ASCII text
data/minisat2-2.2.1/debian/compat:                              ASCII text
data/minisat2-2.2.1/debian/minisat-user-guide.html:             HTML document, ASCII text
data/minisat2-2.2.1/debian/source/format:                       ASCII text
data/minisat2-2.2.1/debian/manpages:                            ASCII text
data/minisat2-2.2.1/debian/changelog:                           ASCII text
data/minisat2-2.2.1/debian/copyright:                           UTF-8 Unicode text
data/minisat2-2.2.1/debian/minisat.1:                           troff or preprocessor input, ASCII text
data/minisat2-2.2.1/debian/install:                             ASCII text
data/minisat2-2.2.1/debian/docs:                                ASCII text
data/minisat2-2.2.1/debian/watch:                               ASCII text
data/minisat2-2.2.1/debian/doc-base:                            ASCII text
data/minisat2-2.2.1/debian/patches/memory_limit:                unified diff output, ASCII text
data/minisat2-2.2.1/debian/patches/clang_build:                 unified diff output, ASCII text
data/minisat2-2.2.1/debian/patches/series:                      ASCII text
data/minisat2-2.2.1/debian/control:                             ASCII text
data/minisat2-2.2.1/debian/rules:                               a /usr/bin/make -f script, ASCII text executable
data/minisat2-2.2.1/.pc/.version:                               ASCII text
data/minisat2-2.2.1/.pc/.quilt_patches:                         ASCII text
data/minisat2-2.2.1/.pc/.quilt_series:                          ASCII text
data/minisat2-2.2.1/.pc/applied-patches:                        ASCII text
data/minisat2-2.2.1/.pc/memory_limit/minisat/simp/Main.cc:      C source, ASCII text
data/minisat2-2.2.1/.pc/clang_build/minisat/core/SolverTypes.h: C++ source, ASCII text