[depqbf] 01/01: Merge tag 'upstream/3.02'

[Thomas Krennwallner]

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

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

commit 3222e1c5ed70bf54d2fcbb2ae5f7f247de041c3b
Merge: 2d24156 42e69c5
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed Sep 24 13:56:36 2014 +0200

    Merge tag 'upstream/3.02'
    
    Upstream version 3.02

 COPYING                           |   674 ++
 NEWS                              |    29 +
 README                            |   244 +
 examples/basic-api-example.c      |   123 +
 examples/basic-api-example2.c     |   161 +
 examples/basic-api-example3.c     |   136 +
 examples/basic-manual-selectors.c |   108 +
 examples/makefile                 |     6 +
 makefile                          |    56 +
 qdpll.c                           | 14196 ++++++++++++++++++++++++++++++++++++
 qdpll.h                           |   252 +
 qdpll_app.c                       |   633 ++
 qdpll_config.h                    |   191 +
 qdpll_dep_man_generic.h           |    71 +
 qdpll_dep_man_qdag.c              |  6024 +++++++++++++++
 qdpll_dep_man_qdag.h              |    49 +
 qdpll_dep_man_qdag_types.h        |   145 +
 qdpll_exit.h                      |    39 +
 qdpll_internals.h                 |   390 +
 qdpll_main.c                      |    34 +
 qdpll_mem.c                       |   137 +
 qdpll_mem.h                       |    59 +
 qdpll_pcnf.h                      |   405 +
 qdpll_stack.h                     |    93 +
 24 files changed, 24255 insertions(+)

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