data/minisat+-1.0/ADTs/FEnv.C:                 C++ source, ASCII text
data/minisat+-1.0/ADTs/FEnv.h:                 C++ source, ASCII text
data/minisat+-1.0/ADTs/File.C:                 C source, ASCII text
data/minisat+-1.0/ADTs/File.h:                 C++ source, ASCII text
data/minisat+-1.0/ADTs/Global.C:               C source, ASCII text
data/minisat+-1.0/ADTs/Global.h:               C++ source, ASCII text
data/minisat+-1.0/ADTs/Hash_standard.h:        C source, ASCII text
data/minisat+-1.0/ADTs/Heap.h:                 C++ source, ASCII text
data/minisat+-1.0/ADTs/Int.h:                  C++ source, ASCII text
data/minisat+-1.0/ADTs/Map.h:                  C++ source, ASCII text
data/minisat+-1.0/ADTs/Sort.h:                 C++ source, ASCII text
data/minisat+-1.0/ADTs/StackAlloc.h:           C++ source, ASCII text
data/minisat+-1.0/ADTs/VecAlloc.h:             C++ source, ASCII text
data/minisat+-1.0/ADTs/VecMaps.h:              C++ source, ASCII text
data/minisat+-1.0/Debug.C:                     C source, ASCII text
data/minisat+-1.0/Debug.h:                     C source, ASCII text
data/minisat+-1.0/Examples/garden9x9.opb:      ASCII text, with very long lines
data/minisat+-1.0/Examples/stein27_bignum.opb: ASCII text, with very long lines
data/minisat+-1.0/Examples/unsat.opb:          ASCII text
data/minisat+-1.0/Hardware.h:                  C source, ASCII text
data/minisat+-1.0/Hardware_adders.C:           C source, ASCII text
data/minisat+-1.0/Hardware_clausify.C:         C source, ASCII text
data/minisat+-1.0/Hardware_sorters.C:          C source, ASCII text
data/minisat+-1.0/INSTALL:                     ISO-8859 text
data/minisat+-1.0/LICENSE:                     ASCII text
data/minisat+-1.0/Main.h:                      C source, ASCII text
data/minisat+-1.0/Makefile:                    makefile script, ASCII text
data/minisat+-1.0/MiniSat.C:                   C++ source, ASCII text
data/minisat+-1.0/MiniSat.h:                   C++ source, ASCII text
data/minisat+-1.0/PbParser.h:                  C source, ASCII text
data/minisat+-1.0/PbSolver.C:                  C source, ASCII text
data/minisat+-1.0/PbSolver.h:                  C++ source, ASCII text
data/minisat+-1.0/PbSolver_convert.C:          C source, ASCII text
data/minisat+-1.0/PbSolver_convertAdd.C:       C source, ASCII text
data/minisat+-1.0/PbSolver_convertBdd.C:       C source, ASCII text
data/minisat+-1.0/PbSolver_convertSort.C:      C++ source, ISO-8859 text, with very long lines
data/minisat+-1.0/SatELite.C:                  C++ source, ISO-8859 text
data/minisat+-1.0/SatELite.h:                  C++ source, ASCII text
data/minisat+-1.0/Solver.h:                    C++ source, ASCII text
data/minisat+-1.0/SolverTypes.h:               C++ source, ASCII text
data/minisat+-1.0/VarOrder.h:                  C++ source, ASCII text
data/minisat+-1.0/minisat+_script:             POSIX shell script, ASCII text executable
data/minisat+-1.0/debian/changelog:            ASCII text
data/minisat+-1.0/debian/compat:               ASCII text
data/minisat+-1.0/debian/control:              ASCII text
data/minisat+-1.0/debian/copyright:            UTF-8 Unicode text
data/minisat+-1.0/debian/minisat+.1:           troff or preprocessor input, ASCII text
data/minisat+-1.0/debian/minisat+.examples:    ASCII text
data/minisat+-1.0/debian/minisat+.install:     ASCII text
data/minisat+-1.0/debian/minisat+.manpages:    ASCII text
data/minisat+-1.0/debian/patches/exitcode:     unified diff output, ASCII text
data/minisat+-1.0/debian/patches/series:       ASCII text
data/minisat+-1.0/debian/patches/spelling:     unified diff output, ASCII text
data/minisat+-1.0/debian/rules:                a /usr/bin/make -f script, ASCII text executable
data/minisat+-1.0/debian/source/format:        ASCII text
data/minisat+-1.0/debian/tests/control:        ASCII text
data/minisat+-1.0/debian/tests/upstream:       POSIX shell script, ASCII text executable
data/minisat+-1.0/debian/watch:                ASCII text
data/minisat+-1.0/.pc/.version:                ASCII text
data/minisat+-1.0/.pc/.quilt_patches:          ASCII text
data/minisat+-1.0/.pc/.quilt_series:           ASCII text
data/minisat+-1.0/.pc/applied-patches:         ASCII text
data/minisat+-1.0/.pc/spelling/Main.C:         C source, ASCII text
data/minisat+-1.0/.pc/exitcode/Main.C:         C source, ASCII text
data/minisat+-1.0/.pc/exitcode/PbParser.C:     C++ source, ASCII text
data/minisat+-1.0/Main.C:                      C source, ASCII text
data/minisat+-1.0/PbParser.C:                  C++ source, ASCII text