data/depqbf-5.01/COPYING: ASCII text data/depqbf-5.01/DepQBF4J-0.2/COPYING: ASCII text data/depqbf-5.01/DepQBF4J-0.2/ChangeLog: ASCII text data/depqbf-5.01/DepQBF4J-0.2/README: ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/DepQBF4J.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/Makefile: makefile script, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/COPYING: ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/NEWS: ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/README: OS/2 REXX batch file, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-api-example.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-api-example2.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-api-example3.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-clause-groups-api-example-assumptions.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-clause-groups-api-example.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-manual-selectors.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/examples/makefile: makefile script, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/makefile: makefile script, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c: C source, ASCII text, with very long lines data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.h: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_app.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_config.h: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_generic.h: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.h: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag_types.h: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_exit.h: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_internals.h: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_main.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_mem.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_mem.h: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_pcnf.h: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.c: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.h: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_stack.h: C source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/src/depqbf4j/DepQBF4J.java: Perl5 module source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/src/depqbf4j/Example_basic_api_example.java: Perl5 module source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/src/depqbf4j/Example_basic_api_example2.java: Perl5 module source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/src/depqbf4j/Example_basic_api_example3.java: Perl5 module source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/src/depqbf4j/Example_basic_clause_groups_api_example.java: Perl5 module source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/src/depqbf4j/Example_basic_manual_selectors.java: Perl5 module source, ASCII text data/depqbf-5.01/DepQBF4J-0.2/src/depqbf4j/Makefile: makefile script, ASCII text data/depqbf-5.01/NEWS: ASCII text data/depqbf-5.01/README: OS/2 REXX batch file, ASCII text data/depqbf-5.01/examples/basic-api-example.c: C source, ASCII text data/depqbf-5.01/examples/basic-api-example2.c: C source, ASCII text data/depqbf-5.01/examples/basic-api-example3.c: C source, ASCII text data/depqbf-5.01/examples/basic-clause-groups-api-example-assumptions.c: C source, ASCII text data/depqbf-5.01/examples/basic-clause-groups-api-example.c: C source, ASCII text data/depqbf-5.01/examples/basic-manual-selectors.c: C source, ASCII text data/depqbf-5.01/examples/makefile: makefile script, ASCII text data/depqbf-5.01/qdpll.c: C source, ASCII text, with very long lines data/depqbf-5.01/qdpll.h: C source, ASCII text data/depqbf-5.01/qdpll_app.c: C source, ASCII text data/depqbf-5.01/qdpll_config.h: C source, ASCII text data/depqbf-5.01/qdpll_dep_man_generic.h: C source, ASCII text data/depqbf-5.01/qdpll_dep_man_qdag.c: C source, ASCII text data/depqbf-5.01/qdpll_dep_man_qdag.h: C source, ASCII text data/depqbf-5.01/qdpll_dep_man_qdag_types.h: C source, ASCII text data/depqbf-5.01/qdpll_exit.h: C source, ASCII text data/depqbf-5.01/qdpll_internals.h: C source, ASCII text data/depqbf-5.01/qdpll_main.c: C source, ASCII text data/depqbf-5.01/qdpll_mem.c: C source, ASCII text data/depqbf-5.01/qdpll_mem.h: C source, ASCII text data/depqbf-5.01/qdpll_pcnf.h: C source, ASCII text data/depqbf-5.01/qdpll_pqueue.c: C source, ASCII text data/depqbf-5.01/qdpll_pqueue.h: C source, ASCII text data/depqbf-5.01/qdpll_stack.h: C source, ASCII text data/depqbf-5.01/debian/changelog: ASCII text data/depqbf-5.01/debian/compat: ASCII text data/depqbf-5.01/debian/control: ASCII text data/depqbf-5.01/debian/copyright: ASCII text data/depqbf-5.01/debian/depqbf.lintian-overrides: ASCII text data/depqbf-5.01/debian/depqbf.manpages: ASCII text data/depqbf-5.01/debian/docs: ASCII text data/depqbf-5.01/debian/gbp.conf: ASCII text data/depqbf-5.01/debian/install: ASCII text data/depqbf-5.01/debian/links: ASCII text data/depqbf-5.01/debian/patches/depqbf-makefile.patch: unified diff output, ASCII text data/depqbf-5.01/debian/patches/depqbf-manpages.patch: unified diff output, ASCII text data/depqbf-5.01/debian/patches/series: ASCII text data/depqbf-5.01/debian/rules: a /usr/bin/make -f script, ASCII text executable data/depqbf-5.01/debian/source/format: ASCII text data/depqbf-5.01/debian/tests/control: ASCII text data/depqbf-5.01/debian/tests/depqbf0: Bourne-Again shell script, ASCII text executable data/depqbf-5.01/debian/tests/depqbf1: Bourne-Again shell script, ASCII text executable data/depqbf-5.01/debian/tests/depqbf2: Bourne-Again shell script, ASCII text executable data/depqbf-5.01/debian/watch: ASCII text data/depqbf-5.01/.pc/.version: ASCII text data/depqbf-5.01/.pc/.quilt_patches: ASCII text data/depqbf-5.01/.pc/.quilt_series: ASCII text data/depqbf-5.01/.pc/applied-patches: ASCII text data/depqbf-5.01/.pc/depqbf-makefile.patch/makefile: makefile script, ASCII text data/depqbf-5.01/.pc/depqbf-manpages.patch/depqbf.1: empty data/depqbf-5.01/makefile: makefile script, ASCII text data/depqbf-5.01/depqbf.1: troff or preprocessor input, ASCII text