data/aspcud-1.9.4/.gitignore: ASCII text data/aspcud-1.9.4/.ycm_extra_conf.py: Python script, ASCII text executable data/aspcud-1.9.4/CHANGES.md: ASCII text data/aspcud-1.9.4/CMakeLists.txt: ASCII text data/aspcud-1.9.4/INSTALL.md: ASCII text data/aspcud-1.9.4/LICENSE.md: ASCII text data/aspcud-1.9.4/README.md: ASCII text data/aspcud-1.9.4/app/CMakeLists.txt: ASCII text data/aspcud-1.9.4/app/aspcud.cc: C++ source, ASCII text data/aspcud-1.9.4/app/cudf2lp.cc: C source, ASCII text data/aspcud-1.9.4/app/options.hh: C++ source, ASCII text data/aspcud-1.9.4/cmake/FindRE2C.cmake: ASCII text data/aspcud-1.9.4/cmake/functions.cmake: ASCII text data/aspcud-1.9.4/cmake/glob-paths.py: Python script, ASCII text executable data/aspcud-1.9.4/cmake/lemon.cmake: ASCII text data/aspcud-1.9.4/cmake/mingw32.cmake: ASCII text data/aspcud-1.9.4/doc/man/aspcud.1: troff or preprocessor input, ASCII text data/aspcud-1.9.4/doc/man/cudf2lp.1: troff or preprocessor input, ASCII text data/aspcud-1.9.4/doc/misc2012.tex: LaTeX 2e document, ASCII text data/aspcud-1.9.4/encodings/misc2012.lp: ASCII text data/aspcud-1.9.4/encodings/specification.lp: ASCII text data/aspcud-1.9.4/examples/README.md: ASCII text data/aspcud-1.9.4/examples/feature.cudf: ASCII text data/aspcud-1.9.4/examples/install1.cudf: ASCII text data/aspcud-1.9.4/examples/install2.cudf: ASCII text data/aspcud-1.9.4/examples/install3.cudf: ASCII text data/aspcud-1.9.4/examples/install4.cudf: ASCII text data/aspcud-1.9.4/examples/install5.cudf: ASCII text data/aspcud-1.9.4/examples/self_conflict.cudf: ASCII text data/aspcud-1.9.4/examples/upgrade1.cudf: ASCII text data/aspcud-1.9.4/lemon/CMakeLists.txt: ASCII text data/aspcud-1.9.4/lemon/lemon.c: C source, ASCII text data/aspcud-1.9.4/lemon/lempar.c: C source, ASCII text data/aspcud-1.9.4/libcudf/CMakeLists.txt: ASCII text data/aspcud-1.9.4/libcudf/cudf/critparser.hh: C++ source, ASCII text data/aspcud-1.9.4/libcudf/cudf/dependency.hh: C++ source, ASCII text data/aspcud-1.9.4/libcudf/cudf/lexer_impl.hh: C++ source, ASCII text data/aspcud-1.9.4/libcudf/cudf/packages.hh: C++ source, ASCII text data/aspcud-1.9.4/libcudf/cudf/parser.hh: C++ source, ASCII text data/aspcud-1.9.4/libcudf/cudf/version.hh: C source, ASCII text data/aspcud-1.9.4/libcudf/gen/src/critlexer.hh: ASCII text data/aspcud-1.9.4/libcudf/gen/src/critparser_impl.cc: C source, ASCII text data/aspcud-1.9.4/libcudf/gen/src/critparser_impl.h: ASCII text data/aspcud-1.9.4/libcudf/gen/src/critparser_impl.y: C source, ASCII text data/aspcud-1.9.4/libcudf/gen/src/lexer.hh: ASCII text data/aspcud-1.9.4/libcudf/gen/src/parser_impl.cc: C source, ASCII text data/aspcud-1.9.4/libcudf/gen/src/parser_impl.h: ASCII text data/aspcud-1.9.4/libcudf/gen/src/parser_impl.y: C source, ASCII text data/aspcud-1.9.4/libcudf/src/critlexer.xh: ASCII text data/aspcud-1.9.4/libcudf/src/critparser.cc: C source, ASCII text data/aspcud-1.9.4/libcudf/src/critparser_impl.y: C source, ASCII text data/aspcud-1.9.4/libcudf/src/lexer.xh: ASCII text data/aspcud-1.9.4/libcudf/src/packages.cpp: C++ source, ASCII text data/aspcud-1.9.4/libcudf/src/parser.cc: C source, ASCII text data/aspcud-1.9.4/libcudf/src/parser_impl.y: C source, ASCII text data/aspcud-1.9.4/libcudf/src/dependency.cpp: C++ source, ASCII text data/aspcud-1.9.4/libcudf/tests/CMakeLists.txt: ASCII text data/aspcud-1.9.4/libcudf/tests/catch.hpp: C++ source, UTF-8 Unicode text, with CRLF line terminators data/aspcud-1.9.4/libcudf/tests/criteria.cc: C source, ASCII text data/aspcud-1.9.4/libcudf/tests/critparser.cc: C source, ASCII text data/aspcud-1.9.4/libcudf/tests/helpers.hh: C source, ASCII text data/aspcud-1.9.4/libcudf/tests/main.cc: C source, ASCII text data/aspcud-1.9.4/libcudf/tests/other.cc: C source, ASCII text data/aspcud-1.9.4/tests/McountLdownR/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/McountLdownR/e69a0e36-9ef1-11df-9d4a-00163e46d37a.opt: ASCII text data/aspcud-1.9.4/tests/McountLdownR/rand66.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/McountLdownR/rand66.opt: ASCII text data/aspcud-1.9.4/tests/McountLdownR/rand992.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/McountLdownR/rand992.opt: ASCII text data/aspcud-1.9.4/tests/McountLremovedRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/McountLremovedRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/7c834c0e-51b8-11e0-a49e-00163e1e087d.opt: ASCII text data/aspcud-1.9.4/tests/McountLremovedRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand491.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/McountLremovedRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand491.opt: ASCII text data/aspcud-1.9.4/tests/McountLremovedRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand512.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/McountLremovedRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand512.opt: ASCII text data/aspcud-1.9.4/tests/McountLremovedRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand586.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/McountLremovedRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand586.opt: ASCII text data/aspcud-1.9.4/tests/McountLremovedRCMsumLsolutionCinstalledsizeRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand461.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/McountLremovedRCMsumLsolutionCinstalledsizeRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand461.opt: ASCII text data/aspcud-1.9.4/tests/McountLremovedRCMsumLsolutionCinstalledsizeRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand586.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/McountLremovedRCMsumLsolutionCinstalledsizeRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand586.opt: ASCII text data/aspcud-1.9.4/tests/McountLremovedRCMsumLsolutionCinstalledsizeRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand600.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/McountLremovedRCMsumLsolutionCinstalledsizeRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand600.opt: ASCII text data/aspcud-1.9.4/tests/McountLremovedRCMsumLsolutionCinstalledsizeRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand77.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/McountLremovedRCMsumLsolutionCinstalledsizeRCMnotuptodateLsolutionRCMunsat_recommendsLsolutionRCMcountLnewR/rand77.opt: ASCII text data/aspcud-1.9.4/tests/MnotuptodateLsolutionR/27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/MnotuptodateLsolutionR/27000e82-c5c4-11df-a7c5-00163e3d3b7c.opt: ASCII text data/aspcud-1.9.4/tests/MnotuptodateLsolutionR/dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/MnotuptodateLsolutionR/dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.opt: ASCII text data/aspcud-1.9.4/tests/MnotuptodateLsolutionR/rand491.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/MnotuptodateLsolutionR/rand491.opt: ASCII text data/aspcud-1.9.4/tests/MnotuptodateLsolutionR/rand609.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/MnotuptodateLsolutionR/rand609.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLchangedR/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLchangedR/e69a0e36-9ef1-11df-9d4a-00163e46d37a.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLchangedR/rand21.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLchangedR/rand21.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLchangedR/rand917.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLchangedR/rand917.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLchangedR/rand994.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLchangedR/rand994.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLnewR/f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLnewR/f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLnewR/rand600.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLnewR/rand600.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLnewR/rand609.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLnewR/rand609.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLnewR/rand733.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLnewR/rand733.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLremovedR/4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLremovedR/4a69cf16-c731-11df-9182-00163e3d3b7c.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLremovedR/dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLremovedR/dd08e73e-d489-11df-b9cf-00163e3d3b7c.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLremovedR/rand18.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLremovedR/rand18.opt: ASCII text data/aspcud-1.9.4/tests/Munsat_recommendsLremovedR/rand83.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Munsat_recommendsLremovedR/rand83.opt: ASCII text data/aspcud-1.9.4/tests/PcountLupR/7bf50d1c-9b1b-11df-8b50-00163e46d37a.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/PcountLupR/7bf50d1c-9b1b-11df-8b50-00163e46d37a.opt: ASCII text data/aspcud-1.9.4/tests/PcountLupR/fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/PcountLupR/fe523ea6-9b1b-11df-bc37-00163e46d37a.opt: ASCII text data/aspcud-1.9.4/tests/PcountLupR/rand399.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/PcountLupR/rand399.opt: ASCII text data/aspcud-1.9.4/tests/PcountLupR/rand574.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/PcountLupR/rand574.opt: ASCII text data/aspcud-1.9.4/tests/Punsat_recommendsLremovedR/8afdd89e-51b8-11e0-acd7-00163e1e087d.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Punsat_recommendsLremovedR/8afdd89e-51b8-11e0-acd7-00163e1e087d.opt: ASCII text data/aspcud-1.9.4/tests/Punsat_recommendsLremovedR/ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Punsat_recommendsLremovedR/ff4a1d84-d490-11df-9e6c-00163e3d3b7c.opt: ASCII text data/aspcud-1.9.4/tests/Punsat_recommendsLremovedR/rand519.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Punsat_recommendsLremovedR/rand519.opt: ASCII text data/aspcud-1.9.4/tests/Punsat_recommendsLremovedR/rand59.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/Punsat_recommendsLremovedR/rand59.opt: ASCII text data/aspcud-1.9.4/tests/README: ASCII text data/aspcud-1.9.4/tests/enumerate-all/feature.cudf: ASCII text data/aspcud-1.9.4/tests/enumerate-all/feature.sol: ASCII text data/aspcud-1.9.4/tests/enumerate-all/install1.cudf: ASCII text data/aspcud-1.9.4/tests/enumerate-all/install1.sol: ASCII text data/aspcud-1.9.4/tests/enumerate-all/install2.cudf: ASCII text data/aspcud-1.9.4/tests/enumerate-all/install2.sol: ASCII text data/aspcud-1.9.4/tests/enumerate-all/install3.cudf: ASCII text data/aspcud-1.9.4/tests/enumerate-all/install3.sol: ASCII text data/aspcud-1.9.4/tests/enumerate-all/install4.cudf: ASCII text data/aspcud-1.9.4/tests/enumerate-all/install4.sol: ASCII text data/aspcud-1.9.4/tests/enumerate-all/install5.cudf: ASCII text data/aspcud-1.9.4/tests/enumerate-all/install5.sol: ASCII text data/aspcud-1.9.4/tests/enumerate-all/self_conflict.cudf: ASCII text data/aspcud-1.9.4/tests/enumerate-all/self_conflict.sol: ASCII text data/aspcud-1.9.4/tests/enumerate-all/upgrade1.cudf: ASCII text data/aspcud-1.9.4/tests/enumerate-all/upgrade1.sol: ASCII text data/aspcud-1.9.4/tests/paranoid/ed1cc19e-51b7-11e0-8436-00163e1e087d.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/paranoid/ed1cc19e-51b7-11e0-8436-00163e1e087d.opt: ASCII text data/aspcud-1.9.4/tests/paranoid/rand461.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/paranoid/rand461.opt: ASCII text data/aspcud-1.9.4/tests/paranoid/rand598.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/paranoid/rand598.opt: ASCII text data/aspcud-1.9.4/tests/paranoid/rand763.cudf.xz: XZ compressed data data/aspcud-1.9.4/tests/paranoid/rand763.opt: ASCII text data/aspcud-1.9.4/tests/test.sh: Bourne-Again shell script, ASCII text executable data/aspcud-1.9.4/debian/aspcud.dirs: ASCII text data/aspcud-1.9.4/debian/aspcud.examples: ASCII text data/aspcud-1.9.4/debian/aspcud.install: ASCII text data/aspcud-1.9.4/debian/changelog: ASCII text data/aspcud-1.9.4/debian/control: ASCII text data/aspcud-1.9.4/debian/copyright: ASCII text data/aspcud-1.9.4/debian/gbp.conf: ASCII text data/aspcud-1.9.4/debian/misc11-to-misc12: ASCII text data/aspcud-1.9.4/debian/patches/fix_boost_174_FTBFS.patch: unified diff output, ASCII text data/aspcud-1.9.4/debian/patches/series: ASCII text data/aspcud-1.9.4/debian/rules: a /usr/bin/make -f script, ASCII text executable data/aspcud-1.9.4/debian/solvers/aspcud: ASCII text data/aspcud-1.9.4/debian/source/format: ASCII text data/aspcud-1.9.4/debian/tests/control: ASCII text data/aspcud-1.9.4/debian/tests/cudf/feature.cudf: ASCII text data/aspcud-1.9.4/debian/tests/cudf/install1.cudf: ASCII text data/aspcud-1.9.4/debian/tests/cudf/install2.cudf: ASCII text data/aspcud-1.9.4/debian/tests/cudf/install3.cudf: ASCII text data/aspcud-1.9.4/debian/tests/cudf/install4.cudf: ASCII text data/aspcud-1.9.4/debian/tests/cudf/install5.cudf: ASCII text data/aspcud-1.9.4/debian/tests/cudf/self_conflict.cudf: ASCII text data/aspcud-1.9.4/debian/tests/cudf/upgrade1.cudf: ASCII text data/aspcud-1.9.4/debian/tests/upstream: POSIX shell script, ASCII text executable data/aspcud-1.9.4/debian/watch: ASCII text data/aspcud-1.9.4/.pc/.version: ASCII text data/aspcud-1.9.4/.pc/.quilt_patches: ASCII text data/aspcud-1.9.4/.pc/.quilt_series: ASCII text data/aspcud-1.9.4/.pc/applied-patches: ASCII text data/aspcud-1.9.4/.pc/fix_boost_174_FTBFS.patch/libcudf/src/dependency.cpp: C++ source, ASCII text