[clasp] 01/03: Updated version 3.3.2 from 'upstream/3.3.2'

[Thomas Krennwallner]

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

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

commit 368be122bc00cfbab97fd4388aee52572289fdf3
Merge: e8aa005 cc4f4e4
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Aug 18 06:44:58 2017 +0200

    Updated version 3.3.2 from 'upstream/3.3.2'
    
    with Debian dir 28bdd3d5cc6858efb00f3a392a438ef9f5383e7d

 .gitignore                      |   1 -
 CHANGES                         |  13 +++
 CMakeLists.txt                  |   2 +-
 README.md                       |  19 ++--
 clasp/clause.h                  |   3 +-
 clasp/cli/clasp_cli_options.inl |   2 +-
 clasp/clingo.h                  |  33 +++---
 clasp/solver_strategies.h       |   5 +-
 create-archive.sh               |  14 +++
 src/clasp_options.cpp           |   8 +-
 src/clasp_output.cpp            |   6 +-
 src/clause.cpp                  |   5 +
 src/clingo.cpp                  |  37 ++++---
 src/logic_program.cpp           |  15 ++-
 src/minimize_constraint.cpp     |   4 +-
 src/parser.cpp                  |  10 +-
 src/solver.cpp                  |  17 ++--
 tests/catch.hpp                 | 220 ++++++++++++++++++++++++++--------------
 tests/clause_test.cpp           |  57 +++++------
 tests/dlp_builder_test.cpp      |  21 ++++
 tests/facade_test.cpp           | 145 +++++++++++++++++++++++---
 tests/program_builder_test.cpp  |   9 +-
 tests/solver_test.cpp           |  78 ++++++++++++++
 23 files changed, 535 insertions(+), 189 deletions(-)

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