[depqbf] 01/01: Merge branch 'master' into devel

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository depqbf.

commit 3fdf39eea27753853eff8511b3030c1ecd81ded6
Merge: 0a289ae ccec180
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sat Oct 4 10:53:26 2014 +0200

    Merge branch 'master' into devel

 DepQBF4J-0.1/COPYING                               |  674 +++
 DepQBF4J-0.1/ChangeLog                             |    2 +
 DepQBF4J-0.1/README                                |   92 +
 DepQBF4J-0.1/jni/DepQBF4J.c                        |  204 +
 DepQBF4J-0.1/jni/Makefile                          |   46 +
 DepQBF4J-0.1/jni/depqbf/COPYING                    |  674 +++
 NEWS => DepQBF4J-0.1/jni/depqbf/NEWS               |    9 +
 README => DepQBF4J-0.1/jni/depqbf/README           |   23 +-
 .../jni/depqbf/examples/basic-api-example.c        |  123 +
 .../jni/depqbf/examples/basic-api-example2.c       |  161 +
 .../jni/depqbf/examples/basic-api-example3.c       |  136 +
 .../jni/depqbf/examples/basic-manual-selectors.c   |  108 +
 DepQBF4J-0.1/jni/depqbf/examples/makefile          |    6 +
 DepQBF4J-0.1/jni/depqbf/makefile                   |   56 +
 qdpll.c => DepQBF4J-0.1/jni/depqbf/qdpll.c         |    8 +-
 DepQBF4J-0.1/jni/depqbf/qdpll.h                    |  252 +
 qdpll_app.c => DepQBF4J-0.1/jni/depqbf/qdpll_app.c |    2 +-
 DepQBF4J-0.1/jni/depqbf/qdpll_config.h             |  191 +
 DepQBF4J-0.1/jni/depqbf/qdpll_dep_man_generic.h    |   71 +
 DepQBF4J-0.1/jni/depqbf/qdpll_dep_man_qdag.c       | 6024 ++++++++++++++++++++
 DepQBF4J-0.1/jni/depqbf/qdpll_dep_man_qdag.h       |   49 +
 DepQBF4J-0.1/jni/depqbf/qdpll_dep_man_qdag_types.h |  145 +
 DepQBF4J-0.1/jni/depqbf/qdpll_exit.h               |   39 +
 DepQBF4J-0.1/jni/depqbf/qdpll_internals.h          |  390 ++
 DepQBF4J-0.1/jni/depqbf/qdpll_main.c               |   34 +
 DepQBF4J-0.1/jni/depqbf/qdpll_mem.c                |  137 +
 DepQBF4J-0.1/jni/depqbf/qdpll_mem.h                |   59 +
 DepQBF4J-0.1/jni/depqbf/qdpll_pcnf.h               |  405 ++
 DepQBF4J-0.1/jni/depqbf/qdpll_stack.h              |   93 +
 DepQBF4J-0.1/src/depqbf4j/DepQBF4J.java            |  227 +
 .../src/depqbf4j/Example_basic_api_example.java    |  149 +
 .../src/depqbf4j/Example_basic_api_example2.java   |  191 +
 .../src/depqbf4j/Example_basic_api_example3.java   |  163 +
 .../depqbf4j/Example_basic_manual_selectors.java   |  134 +
 DepQBF4J-0.1/src/depqbf4j/Makefile                 |   25 +
 NEWS                                               |    9 +
 README                                             |   23 +-
 debian/changelog                                   |   12 +
 qdpll.c                                            |    8 +-
 qdpll_app.c                                        |    2 +-
 40 files changed, 11140 insertions(+), 16 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/depqbf.git