* Use libatomic on armhf too.
* Update symbols for raspbian.
[dgit import unpatched gringo 5.3.0-10+rpi1]
--- /dev/null
--- /dev/null
++gringo (5.1.0-1) unstable; urgency=medium
++
++ The gringo and reify programs drop direct support for smodels output
++ format and use the new asp intermediate format (aspif) instead. The
++ clasp solver automatically supports aspif starting with version 3.2.0
++ and later. If you need to ground a logic program to smodels format,
++ you can translate aspif to smodels format with the lpconvert tool,
++ which is part of this package. See also
++ <https://www.cs.uni-potsdam.de/wv/publications/DBLP_conf/iclp/GebserKKOSW16x.pdf>
++ for a detailed description of the asp intermediate format.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 11 Dec 2016 09:51:56 +0100
--- /dev/null
--- /dev/null
++* gringo TODO list
++
++** upstream renamed gringo to clingo
++
++** add clingo C api header files and library archive
++
++** add pyclingo python module
++
++** add luaclingo lua module
--- /dev/null
--- /dev/null
++gringo (5.3.0-10+rpi1) buster-staging; urgency=medium
++
++ * Use libatomic on armhf too.
++ * Update symbols for raspbian.
++
++ -- Peter Michael Green <plugwash@raspbian.org> Thu, 14 Mar 2019 17:34:56 +0000
++
++gringo (5.3.0-10) unstable; urgency=medium
++
++ * Fix FTBFS on buster.
++ * debian/control: add Build-Depends on g++-8 >= 8.2.0-21
++ * debian/symbols: add alpha and x32 symbols
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sat, 02 Mar 2019 08:49:10 +0100
++
++gringo (5.3.0-9) unstable; urgency=medium
++
++ * Upload to unstable.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Fri, 01 Mar 2019 06:27:37 +0100
++
++gringo (5.3.0-8) experimental; urgency=medium
++
++ * debian/symbols: fix symbols
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 28 Feb 2019 05:25:47 +0100
++
++gringo (5.3.0-7) experimental; urgency=medium
++
++ * Bug fix: "new symbols", thanks to Sjoerd Simons (Closes: #923228).
++ * debian/control: bump Standards-Version to 4.3.0
++ * debian/symbols: fix FTBFS on powerpcspe
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Wed, 27 Feb 2019 05:24:41 +0100
++
++gringo (5.3.0-6) unstable; urgency=medium
++
++ * debian/symbols: fix symbols for g++-8 >= 8.2.0-10
++ * Upload to unstable.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Fri, 14 Dec 2018 08:09:08 +0100
++
++gringo (5.3.0-5) experimental; urgency=medium
++
++ * Bug fix: "gringo FTBFS: symbol differences", thanks to Adrian Bunk
++ (Closes: #916266).
++ * debian/symbols: fix FTBFS for g++-8 >= 8.2.0-10
++ * debian/control: Build-Depends on g++-8 >= 8.2.0-10
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 13 Dec 2018 08:22:24 +0100
++
++gringo (5.3.0-4) unstable; urgency=medium
++
++ * debian/tests/gringo{0,1,3,4}: fix integer atom mappings
++ * NEWS.Debian: fix link to aspif description
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 22 Nov 2018 07:26:25 +0100
++
++gringo (5.3.0-3) unstable; urgency=medium
++
++ * debian/upstream/metadata: add DEP-12 upstream metadata
++ * debian/symbols: fix symbols for version 5.3.0 of libclingo.so.2
++ * Upload to unstable.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Wed, 21 Nov 2018 04:54:38 +0100
++
++gringo (5.3.0-2) experimental; urgency=medium
++
++ * debian/symbols: fix symbols for version 5.3.0 of libclingo.so.2
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 15 Nov 2018 07:30:26 +0100
++
++gringo (5.3.0-1) experimental; urgency=medium
++
++ * New upstream version 5.3.0
++ * drop upstream applied gringo-makefile.patch
++ * refresh gringo-python37-async.patch with fcef335 from upstream
++ * install libclingo.so.2.0
++ * debian/symbols: update to libclingo.so.2.0
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 11 Nov 2018 08:56:35 +0100
++
++gringo (5.2.3-5) unstable; urgency=medium
++
++ * debian/symbols: batchpatch alpha, mips, mips64el symbols for g++-8
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 08 Nov 2018 04:35:55 +0100
++
++gringo (5.2.3-4) unstable; urgency=medium
++
++ * Bug fix: "Please update symbols for riscv64", thanks to Manuel
++ A. Fernandez Montecelo (Closes: #912269).
++ * debian/symbols: batchpatch symbols for g++-8
++ * Upload to unstable.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Wed, 07 Nov 2018 04:07:00 +0100
++
++gringo (5.2.3-3) experimental; urgency=medium
++
++ * debian/control: bump Standards-Version to 4.2.1
++ * Bug fix: "gringo build-depends on legacy compiler g++-7", thanks to
++ Matthias Klose (Closes: #912582).
++ - debian/control: Build-Depends on g++-8
++ * debian/symbols: update amd64 symbols for g++-8
++ * Bug fix: "gringo ftbfs with Python 3.7", thanks to Matthias Klose
++ (Closes: #912552).
++ - debian/control: Build-Depends on python3.7
++ - gringo-python37-async.patch: rename async keyword to async_
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 04 Nov 2018 08:34:30 +0100
++
++gringo (5.2.3-2) unstable; urgency=medium
++
++ * debian/symbols: batchpatch symbols
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Tue, 03 Jul 2018 06:23:44 +0200
++
++gringo (5.2.3-1) unstable; urgency=medium
++
++ * New upstream version 5.2.3
++ * debian/watch: force three-digit version
++ * debian/control: bump Standards-Version to 4.1.4
++ * debian/TODO.Debian: refresh TODO list
++ * gringo-makefile.patch: drop Makefile
++ * debian/symbols: update amd64 symbols
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sat, 30 Jun 2018 13:27:28 +0200
++
++gringo (5.2.2-6) unstable; urgency=medium
++
++ * Team upload
++ * Added build-dependency python3-distutils in order to fix FTBFS. Thanks
++ to Adrian Bunk for the patch (closes: #896791)
++ * Added debian/gbp.conf with pristine-tar=True
++
++ -- Ralf Treinen <treinen@debian.org> Thu, 03 May 2018 08:30:23 +0200
++
++gringo (5.2.2-5) unstable; urgency=medium
++
++ * fix FTBFS with gringo-python3-utf8.patch
++ * debian/rules: report ctest logs in case of error
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Mon, 05 Feb 2018 07:39:21 +0100
++
++gringo (5.2.2-4) unstable; urgency=medium
++
++ * setup build environment for python3
++ + debian/control: setup Build-Depends for python3
++ + debian/rules: force PYTHON_EXECUTABLE to /usr/bin/python3
++ * FTBFS: dh_auto_test needs LD_LIBRARY_PATH for libclingo
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 04 Feb 2018 21:35:05 +0100
++
++gringo (5.2.2-3) unstable; urgency=medium
++
++ * add dep8 testsuite
++ + debian/rules: build, run, and output upstream tests
++ + debian/tests: add dep8 tests
++ * debian/symbols: add ia64, update templinst archs
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 04 Feb 2018 09:22:41 +0100
++
++gringo (5.2.2-2) unstable; urgency=medium
++
++ * update debian/control and debian/compat
++ + update Vcs-Git and Vcs-Browser for salsa
++ + bump Standards-Version to 4.1.3
++ + bump debhelper compatibility version to 11
++ * debian/symbols: update amd64 symbols
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sat, 03 Feb 2018 15:17:29 +0100
++
++gringo (5.2.2-1) unstable; urgency=medium
++
++ * New upstream version 5.2.2
++ * drop upstream applied gringo-remove-wrong-assertion.patch
++ * debian/symbols: add arm64 kfreebsd-amd64 kfreebsd-i386 symbols
++ pkgkde-symbolshelper batchpatch -v 1
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Fri, 10 Nov 2017 08:08:58 +0100
++
++gringo (5.2.1-4) unstable; urgency=medium
++
++ * debian/symbols: fix FTBFS on armel
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sat, 04 Nov 2017 14:55:24 +0100
++
++gringo (5.2.1-3) unstable; urgency=medium
++
++ * add patch from upstream commit 02c6d85 to fix wrong assertion
++ * debian/control: Build-Depends to cmake >= 3.1.0
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sat, 04 Nov 2017 11:14:23 +0100
++
++gringo (5.2.1-2) unstable; urgency=medium
++
++ * Use pkgkde-symbolshelper to manage C++ symbols
++ * debian/rules: use pkgkde_symbolshelper dh addon
++ * debian/control: Build-Depends on pkg-kde-tools
++ * debian/symbols: use pkgkde-symbolshelper to create C++ symbols
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Fri, 03 Nov 2017 06:42:20 +0100
++
++gringo (5.2.1-1) unstable; urgency=medium
++
++ * New upstream version 5.2.1
++ * debian/TODO.Debian: list todo items
++ * debian/copyright: gringo switched to MIT, and so does the packaging
++ * debian/compat: bump debhelper compat level to 10
++ * debian/control: use cmake instead of scons
++ - force g++-7
++ - bump Standards-Version to 4.1.1
++ - fix Homepage URI
++ * debian/patches: drop various upstream applied patches
++ - gringo-alpha-fpu-getcw.patch
++ - gringo-broken-std-exception_ptr.patch
++ - gringo-fix-body-literals-as-auxiliary.patch
++ - reproducible-build.patch
++ * debian/install: add libclingo library
++ * debian/gringo.links: add ldconfig symlinks for libclingo.so.1.0
++ * debian/symbols: add libclingo.so.1 symbols
++ * debian/rules: use cmake without rpath and force g++-7
++ * Bug fix: "FTBFS: cat: build/release.log: No such file or directory",
++ thanks to Lucas Nussbaum (Closes: #880287).
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Wed, 01 Nov 2017 15:30:25 +0100
++
++gringo (5.1.0-5) unstable; urgency=medium
++
++ * Bug fix: "FTBFS: libgringo/src/python.cc:348:46: error:
++ '*(Gringo::{anonymous}::Object (*)(Gringo::{anonymous}::Reference,
++ Gringo::{anonymous}::Reference))Gringo::{anonymous}::createId' is
++ not a valid template argument for type
++ 'Gringo::{anonymous}::Object
++ (&)(Gringo::{anonymous}::Reference,
++ Gringo::{anonymous}::Reference)'", thanks to Lucas Nussbaum
++ (Closes: #871100).
++ - debian/control: Build-Depends on g++-6
++ - debian/rules: set CONFIGPARMS to CXX='g++-6'
++ * debian/copyright: use https instead of http
++ * debian/control: Bump Standards-Version to 4.0.1
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 17 Aug 2017 07:18:37 +0200
++
++gringo (5.1.0-4) unstable; urgency=medium
++
++ * fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
++ _FPU_GETCW and friends are undefined on this arch
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Tue, 20 Dec 2016 05:10:36 +0100
++
++gringo (5.1.0-3) unstable; urgency=medium
++
++ * debian/rules: fix FTBFS on architectures that require -latomic
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Fri, 16 Dec 2016 08:13:33 +0100
++
++gringo (5.1.0-2) unstable; urgency=medium
++
++ * debian/rules: fix C++11 threads
++ - link with libatomic on architectures that need it
++ - disable threads and define BROKEN_STD_EXCEPTION_PTR on armel
++ * gringo-broken-std-exception_ptr.patch: add support for armel
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 15 Dec 2016 06:49:16 +0100
++
++gringo (5.1.0-1) unstable; urgency=medium
++
++ * New upstream version 5.1.0
++ * debian/copyright: update copyright year and github source
++ * debian/control
++ - Build-Depends on g++ >= 4:6.1.1 replaces libtbb-dev
++ - point Homepage to https://www.potassco.org
++ - use https for Vcs-*
++ - add Breaks clasp (<< 3.2.1-1)
++ * debian/rules
++ - build lpconvert
++ - drop libtbb-dev and use c++11 multi-threading
++ - disable threads on powerpc,powerpcspe,m68k,mips,mipsel,sh4
++ * drop already applied upstream patches: gringo-include-math.patch,
++ gringo-solve-multi.patch, gringo-translate-minmax.patch
++ * gringo-fix-body-literals-as-auxiliary.patch: add upstream patch
++ cherry-picked from d6cfb89df6bbf138ca3e259d71ca7050b322b5d5
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 11 Dec 2016 13:12:35 +0100
++
++gringo (4.5.4-4) unstable; urgency=medium
++
++ * Bug fix: "please make the build reproducible", thanks to
++ Reiner Herrmann (Closes: #844096).
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Wed, 07 Dec 2016 08:27:20 +0100
++
++gringo (4.5.4-3) unstable; urgency=medium
++
++ * Fix gringo-multi-solver.patch: this fixes an FTBFS on architectures
++ that have WITH_THREAD=0, i.e., all architectures except amd64 and
++ ppc64.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Mon, 02 May 2016 07:18:34 +0200
++
++gringo (4.5.4-2) unstable; urgency=medium
++
++ * Bug fix: "FTBFS: error: 'pow' is not a member of 'std'", thanks to
++ Martin Michlmayr (Closes: #822383).
++ * Add patch to fix random python multithreading segfaults (upstream bug 117)
++ * Add patch to fix #min/#max translation bug (upstream bug 119)
++ * Build with liblua5.3
++ * Bump Standards-Version to 3.9.8
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 01 May 2016 08:47:29 +0200
++
++gringo (4.5.4-1) unstable; urgency=medium
++
++ * Imported Upstream version 4.5.4
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sat, 19 Dec 2015 14:07:05 +0100
++
++gringo (4.5.3-1) unstable; urgency=medium
++
++ * Imported Upstream version 4.5.3
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sat, 26 Sep 2015 09:31:03 +0200
++
++gringo (4.5.1-1) unstable; urgency=medium
++
++ * Imported Upstream version 4.5.1
++ * Add reify.1 manpage
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Mon, 13 Jul 2015 09:01:56 +0200
++
++gringo (4.5.0-1) unstable; urgency=medium
++
++ * Bump Standards-Version to 3.9.6.
++ * Imported Upstream version 4.5.0
++ * debian/control: Add Breaks: aspcud (<= 1.9.0-2). Add reify description.
++ * debian/copyright: Update copyright information, remove outdated files.
++ * debian/docs: Remove NOTES.
++ * debian/install: Install reify.
++ * debian/rules: Build reify.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sat, 11 Jul 2015 09:36:10 +0200
++
++gringo (4.4.0-1) unstable; urgency=low
++
++ * New upstream release.
++ * debian/control: Remove Suggests on potassco-guide.
++ * debian/control: Fix Vcs fields to use anonscm.debian.org.
++ * Setup git repository to use git-buildpackage.
++ * Import upstream sources with git-import-orig --pristine-tar.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Mon, 18 Aug 2014 17:10:34 +0200
++
++gringo (4.3.0-2) unstable; urgency=low
++
++ * Bug fix: "non-standard gcc/g++ used for build (gcc-4.8)", thanks to
++ Matthias Klose (Closes: #751317).
++ * Build with system-wide liblua5.2-dev.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 12 Jun 2014 09:16:31 +0200
++
++gringo (4.3.0-1) unstable; urgency=low
++
++ * New upstream release.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Wed, 26 Feb 2014 13:06:29 +0100
++
++gringo (4.2.1-4) unstable; urgency=low
++
++ * Bug fix: "add ppc64el to architecture list for libtbb-dev to fix
++ FTBFS", thanks to Logan Rosen (Closes: #735005).
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 12 Jan 2014 19:22:44 +0100
++
++gringo (4.2.1-3) unstable; urgency=low
++
++ * debian/control: Breaks aspcud <= 2012.10.24-6 after discussion with
++ upstream.
++ Remove spurious Build-Depends on libboost-filesystem-dev and
++ libboost-system-dev.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Wed, 18 Dec 2013 09:42:59 +0100
++
++gringo (4.2.1-2) unstable; urgency=low
++
++ * debian/control: FTBFS on ia64 sparc powerpc, Build-Depends is now
++ g++-4.8 >= 4.8.0.
++ * debian/rules: Set CXX to g++-4.8.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Tue, 17 Dec 2013 07:07:54 +0100
++
++gringo (4.2.1-1) unstable; urgency=low
++
++ gringo 4.2 adds support for {i,o,}clingo again.
++
++ * New upstream release.
++ * debian/watch: Back to watching all releases of gringo.
++ * debian/rules: Add scons, python, tbb, and hardening support.
++ * debian/install: Install gringo and clingo.
++ * debian/gringo.links: Symlink clingo binary and manpage to {i,o}clingo.
++ * debian/gringo.manpages: Remove iclingo manpage.
++ * debian/control: Build-Depends on bison, scons, g++ >= 4.8.0,
++ libpython2.7-dev, libtbb-dev.
++ Bump Standards-Version to 3.9.5.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Mon, 16 Dec 2013 16:28:42 +0100
++
++gringo (3.0.5-1) unstable; urgency=low
++
++ * New upstream release.
++ * debian/copyright: Update copyright years.
++ * debian/compat: Bump to version 9.
++ * debian/control:
++ - Remove DM-Upload-Allowed.
++ - Build-Depends on debhelper >= 9.
++ * debian/watch: Only watch upstream gringo >= 3.
++ * debian/patches/gringo-clang-gcc.patch debian/patches/gringo-cond.patch
++ debian/patches/gringo-domain-fwd-decl.patch
++ debian/patches/gringo-unpool-pred.patch debian/patches/series: Remove
++ already applied patches.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Tue, 21 May 2013 19:04:24 +0200
++
++gringo (3.0.4-4) unstable; urgency=low
++
++ * Apply upstream patches from subversion r6200 and r6237 for fixing
++ potassco bugs 75 and 76, resp.
++ * debian/patches/gringo-cond.patch: New file originally from
++ http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-cond.diff?format=raw.
++ * debian/patches/gringo-unpool-pred.patch: New file originally from
++ http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-unpool-pred.diff?format=raw.
++ * debian/control: Bump Standards-Version to 3.9.4.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 22 Nov 2012 10:40:56 +0100
++
++gringo (3.0.4-3) unstable; urgency=low
++
++ * Bug fix: "please build-depend on unversionend boost libraries", thanks
++ to Ralf Treinen (Closes: #672933).
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Wed, 23 May 2012 15:25:09 +0200
++
++gringo (3.0.4-2) unstable; urgency=low
++
++ * debian/patches/gringo-clang-gcc.patch: New file originally from
++ https://potassco.svn.sourceforge.net/svnroot/potassco/tags/gringo-3.0.4/patches/patch-clang.diff.
++ * Bug fix: "ftbfs with GCC-4.7", thanks to Matthias Klose (Closes:
++ #667193).
++ * debian/control: Bump Standards-Version to 3.9.3.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Tue, 10 Apr 2012 16:48:52 +0200
++
++gringo (3.0.4-1ubuntu1~oneiric1) oneiric; urgency=low
++
++ * Upload to ppa:~tkren/asp.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Fri, 27 Jan 2012 08:08:04 +0100
++
++gringo (3.0.4-1) unstable; urgency=low
++
++ * New upstream release.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 26 Jan 2012 14:59:59 +0100
++
++gringo (3.0.3-7) unstable; urgency=low
++
++ * debian/copyright: Fix comma-separated-files-in-dep5-copyright,
++ obsolete-field-in-dep5-copyright and unversioned-copyright-format-uri
++ lintian warnings.
++ * Bug fix: "FTBFS: clone_allocator.hpp:34:27: error: invalid use of
++ incomplete type <struct Domain>", thanks to Lucas Nussbaum
++ (Closes: #652787).
++ * debian/patches/gringo-domain-fwd-decl.patch: New file.
++ * debian/control: Build-Depends on re2c to recreate parser.cpp from
++ parser.r2c, add boost version libboost-*N.MM-dev.
++ * debian/rules: Add override_dh_auto_configure and remove parser.cpp and
++ converter.cpp to force recreation of re2c lexer files.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 25 Dec 2011 18:44:20 +0100
++
++gringo (3.0.3-6) unstable; urgency=low
++
++ * debian/control: Setup as Debian Science project.
++ - Set Maintainer to Debian Science Maintainers and Uploaders to Thomas
++ Krennwallner.
++ - Set DM-Upload-Allowed to yes.
++ - Convert bzr repository to git and use Vcs-Git and Vcs-Browser
++ accordingly.
++ - Build-Depends on debhelper >= 8.0.0.
++ * debian/rules: Add override_dh_auto_build to get rid off
++ debian/patches/gringo-makefile.patch.
++ * debian/patches/gringo-makefile.patch debian/patches/series: Remove
++ debian/patches/gringo-makefile.patch.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Mon, 05 Sep 2011 13:21:51 +0200
++
++gringo (3.0.3-5~natty1) natty; urgency=low
++
++ * debian/watch: Fix lintian debian-watch-contains-dh_make-template.
++ * debian/control: Lower Priority to extra and bump Standards-Version to
++ 3.9.2.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Fri, 29 Apr 2011 07:11:12 +0200
++
++gringo (3.0.3-4) unstable; urgency=low
++
++ * debian/control: Combine gringo, clingo, and iclingo binary packages
++ into gringo.
++ + Conflicts and Replaces clingo and iclingo.
++ * debian/copyright: Convert to DEP-5 format and add missing licenses.
++ * debian/rules: Add override_dh_installchangelogs for CHANGES file.
++ * debian/install: Install gringo, clingo and iclingo.
++ * Refresh debian/patches/gringo-makefile.patch; do not install anything
++ here.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Tue, 22 Feb 2011 09:38:26 +0100
++
++gringo (3.0.3-3) unstable; urgency=low
++
++ * Initial upload (Closes: #605879)
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 05 Dec 2010 18:01:28 +0100
++
++gringo (3.0.3-2) unstable; urgency=low
++
++ * Upload to mentors.debian.net.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sat, 20 Nov 2010 09:43:35 +0100
++
++gringo (3.0.3-1~maverick1) maverick; urgency=low
++
++ * New upstream release.
++
++ * Fix changelog entries.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Fri, 12 Nov 2010 05:53:36 +0100
++
++gringo (3.0.2-2~maverick1) maverick; urgency=low
++
++ * Tag distro-series.
++
++ * Fix Standards-Version and Priority.
++
++ * Suggest potassco-guide.
++
++ * Fix missing changelog.
++
++ * Add additional authors to copyright.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 10 Oct 2010 08:50:01 +0200
++
++gringo (3.0.2-1) lucid; urgency=low
++
++ * New upstream release.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Mon, 04 Oct 2010 22:03:12 +0200
++
++gringo (3.0.1-2) lucid; urgency=low
++
++ * Build with system-wide liblua5.1-dev.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Wed, 28 Jul 2010 06:15:10 +0200
++
++gringo (3.0.1-1) lucid; urgency=low
++
++ * New upstream release.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Tue, 27 Jul 2010 06:00:34 +0200
++
++gringo (2.0.5-6) lucid; urgency=low
++
++ * Switch to dpkg-source 3.0 (quilt) format.
++
++ * Fix lintian warning debhelper-but-no-misc-depends: add ${misc:Depends} to potassco-guide.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Sun, 06 Jun 2010 18:18:22 +0200
++
++gringo (2.0.5-5) lucid; urgency=low
++
++ * Added watch file.
++
++ * Added Vcs-Bzr to control.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Tue, 01 Jun 2010 14:47:13 +0200
++
++gringo (2.0.5-4) lucid; urgency=low
++
++ * Set Architecture of all binary packages to "any".
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Fri, 28 May 2010 09:21:58 +0200
++
++gringo (2.0.5-3) lucid; urgency=low
++
++ * Set Architecture of all binary packages to "all".
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Fri, 28 May 2010 07:04:46 +0200
++
++gringo (2.0.5-2) lucid; urgency=low
++
++ * Moved to Ubuntu PPA.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Wed, 26 May 2010 00:33:32 +0200
++
++gringo (2.0.5-1) unstable; urgency=low
++
++ * Initial release.
++
++ -- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Thu, 04 Mar 2010 19:47:14 +0100
--- /dev/null
--- /dev/null
++11
--- /dev/null
--- /dev/null
++Source: gringo
++Section: interpreters
++Priority: optional
++Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
++Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++Build-Depends: debhelper (>= 11),
++ dpkg-dev (>= 1.16.1~),
++ pkg-kde-tools,
++ g++-8 (>= 8.2.0-21),
++ cmake (>= 3.1.0),
++ re2c,
++ bison,
++ liblua5.3-dev,
++ python3.7,
++ libpython3.7-dev,
++ python3.7-distutils
++Standards-Version: 4.3.0
++Vcs-Git: https://salsa.debian.org/science-team/gringo.git
++Vcs-Browser: https://salsa.debian.org/science-team/gringo
++Homepage: https://www.potassco.org/clingo/
++
++Package: gringo
++Architecture: any
++Depends: ${shlibs:Depends}, ${misc:Depends}
++Recommends: clasp
++Replaces: clingo, iclingo
++Conflicts: clingo, iclingo
++Breaks:
++ aspcud (<= 1.9.0-2),
++ clasp (<< 3.2.1-1)
++Description: grounding tools for (disjunctive) logic programs
++ Current answer set solvers work on variable-free programs. Hence, a
++ grounder is needed that, given an input program with first-order
++ variables, computes an equivalent ground (variable-free) program.
++ .
++ This package contains the following tools:
++ .
++ - gringo: a grounder that, given an input program with first-order
++ variables, computes an equivalent ground (variable-free) program in
++ aspif format. Its output can be processed further with answer set
++ solver clasp. Starting with gringo series 5, its output is no longer
++ directly compatible with solvers like smodels or cmodels reading
++ smodels format. Use lpconvert for translating aspif format to
++ smodels format.
++ - clingo: combines both gringo and clasp into a monolithic system.
++ This way it offers more control over the grounding and solving
++ process than gringo and clasp can offer individually: multi-shot
++ solving.
++ - lpconvert: converter between gringo's aspif and smodels format.
++ - reify: small utility that reifies logic programs given in aspif
++ format. It produces a set of facts, which can be processed further
++ with gringo.
--- /dev/null
--- /dev/null
++Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
++Upstream-Name: gringo
++Upstream-Contact: Roland Kaminski <kaminski@cs.uni-potsdam.de>
++Source: https://github.com/potassco/clingo/releases
++
++
++Files: *
++Copyright: 2017, Roland Kaminski
++License: MIT
++
++
++Files: debian/*
++Copyright: 2010-2017, Thomas Krennwallner
++License: MIT
++
++
++License: MIT
++ Permission is hereby granted, free of charge, to any person obtaining a
++ copy of this software and associated documentation files (the
++ "Software"), to deal in the Software without restriction, including
++ without limitation the rights to use, copy, modify, merge, publish,
++ distribute, sublicense, and/or sell copies of the Software, and to
++ permit persons to whom the Software is furnished to do so, subject to
++ the following conditions:
++ .
++ The above copyright notice and this permission notice shall be included
++ in all copies or substantial portions of the Software.
++ .
++ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
++ OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
++ MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
++ NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
++ LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
++ OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
++ WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
--- /dev/null
--- /dev/null
++README.md
++examples
--- /dev/null
--- /dev/null
++[DEFAULT]
++pristine-tar = True
--- /dev/null
--- /dev/null
++usr/bin/clingo usr/bin/iclingo
++usr/bin/clingo usr/bin/oclingo
++usr/lib/libclingo.so.2.0 usr/lib/libclingo.so.2
++usr/lib/libclingo.so.2 usr/lib/libclingo.so
++usr/share/man/man1/clingo.1 usr/share/man/man1/iclingo.1
++usr/share/man/man1/clingo.1 usr/share/man/man1/oclingo.1
--- /dev/null
--- /dev/null
++gringo.1
++clingo.1
++reify.1
++lpconvert.1
--- /dev/null
--- /dev/null
++build/hardening_mt/bin/gringo usr/bin/
++build/hardening_mt/bin/clingo usr/bin/
++build/hardening_mt/bin/reify usr/bin/
++build/hardening_mt/bin/lpconvert usr/bin/
++build/hardening_mt/bin/libclingo.so.2.0 usr/lib/
--- /dev/null
--- /dev/null
++From: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++Date: Wed, 7 Dec 2016 07:50:31 +0100
++Subject: Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages
++
++===================================================================
++---
++ clingo.1 | 58 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
++ gringo.1 | 60 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
++ lpconvert.1 | 53 +++++++++++++++++++++++++++++++++++++++++++++++++++++
++ reify.1 | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
++ 4 files changed, 225 insertions(+)
++ create mode 100644 clingo.1
++ create mode 100644 gringo.1
++ create mode 100644 lpconvert.1
++ create mode 100644 reify.1
++
++diff --git a/clingo.1 b/clingo.1
++new file mode 100644
++index 0000000..ba04b34
++--- /dev/null
+++++ b/clingo.1
++@@ -0,0 +1,58 @@
+++.\" Hey, EMACS: -*- nroff -*-
+++.\" First parameter, NAME, should be all caps
+++.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+++.\" other parameters are allowed: see man(7), man(1)
+++.TH CLINGO 1 "December 11, 2016"
+++.\" Please adjust this date whenever revising the manpage.
+++.\"
+++.\" Some roff macros, for reference:
+++.\" .nh disable hyphenation
+++.\" .hy enable hyphenation
+++.\" .ad l left justify
+++.\" .ad b justify to both left and right margins
+++.\" .nf disable filling
+++.\" .fi enable filling
+++.\" .br insert line break
+++.\" .sp <n> insert n+1 empty lines
+++.\" for manpage-specific macros, see man(7)
+++.SH NAME
+++clingo \- a combination of clasp and gringo
+++.SH SYNOPSIS
+++.B clingo
+++[\fIOPTION\fR]... \fR[\fIFILE\fR]...
+++.SH DESCRIPTION
+++This manual page documents briefly the
+++.B clingo
+++command.
+++.PP
+++.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+++.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+++.\" respectively.
+++\fBclingo\fP stands for clasp on gringo and combines both systems in a
+++monolithic way. Its input language is that of gringo and its output
+++corresponds to that of clasp. This way it offers more control over the
+++grounding and solving process than gringo and clasp can offer
+++individually: multi-shot solving.
+++.SH OPTIONS
+++These programs follow the usual GNU command line syntax, with long
+++options starting with two dashes (`-').
+++A summary of options is included below.
+++For a complete description, see the potassco-guide at
+++https://sourceforge.net/projects/potassco/files/guide/.
+++.TP
+++.B \-h, \-\-help
+++Show summary of options.
+++.TP
+++.B \-v, \-\-version
+++Show version of program.
+++.SH SEE ALSO
+++.BR clasp (1),
+++.BR gringo (1),
+++.BR lpconvert (1),
+++.BR reify (1)
+++.br
+++.SH AUTHOR
+++clingo was written by Roland Kaminski <kaminski@cs.uni-potsdam.de>
+++.PP
+++This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
+++for the Debian project (and may be used by others).
++diff --git a/gringo.1 b/gringo.1
++new file mode 100644
++index 0000000..7587e8e
++--- /dev/null
+++++ b/gringo.1
++@@ -0,0 +1,60 @@
+++.\" Hey, EMACS: -*- nroff -*-
+++.\" First parameter, NAME, should be all caps
+++.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+++.\" other parameters are allowed: see man(7), man(1)
+++.TH GRINGO 1 "December 11, 2016"
+++.\" Please adjust this date whenever revising the manpage.
+++.\"
+++.\" Some roff macros, for reference:
+++.\" .nh disable hyphenation
+++.\" .hy enable hyphenation
+++.\" .ad l left justify
+++.\" .ad b justify to both left and right margins
+++.\" .nf disable filling
+++.\" .fi enable filling
+++.\" .br insert line break
+++.\" .sp <n> insert n+1 empty lines
+++.\" for manpage-specific macros, see man(7)
+++.SH NAME
+++gringo \- a grounder for non-ground logic programs
+++.SH SYNOPSIS
+++.B gringo
+++[\fIOPTION\fR]... \fR[\fIFILE\fR]...
+++.SH DESCRIPTION
+++This manual page documents briefly the
+++.B gringo
+++command.
+++.PP
+++.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+++.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+++.\" respectively.
+++\fBgringo\fP is a grounder that, given an input program with first-order
+++variables, computes an equivalent ground (variable-free) program in
+++aspif format. Its output can be processed further with answer set solver
+++clasp. Starting with gringo series 5, its output is no longer directly
+++compatible with solvers like smodels or cmodels reading smodels format.
+++Use the \fBlpconvert\fP converter for translating aspif format to
+++smodels format.
+++.SH OPTIONS
+++These programs follow the usual GNU command line syntax, with long
+++options starting with two dashes (`-').
+++A summary of options is included below.
+++For a complete description, see the potassco-guide at
+++https://sourceforge.net/projects/potassco/files/guide/.
+++.TP
+++.B \-h, \-\-help
+++Show summary of options.
+++.TP
+++.B \-v, \-\-version
+++Show version of program.
+++.SH SEE ALSO
+++.BR clasp (1),
+++.BR clingo (1),
+++.BR lpconvert (1),
+++.BR reify (1)
+++.br
+++.SH AUTHOR
+++gringo was written by Roland Kaminski <kaminski@cs.uni-potsdam.de>
+++.PP
+++This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
+++for the Debian project (and may be used by others).
++diff --git a/lpconvert.1 b/lpconvert.1
++new file mode 100644
++index 0000000..f5d931e
++--- /dev/null
+++++ b/lpconvert.1
++@@ -0,0 +1,53 @@
+++.\" Hey, EMACS: -*- nroff -*-
+++.\" First parameter, NAME, should be all caps
+++.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+++.\" other parameters are allowed: see man(7), man(1)
+++.TH LPCONVERT 1 "December 11, 2016"
+++.\" Please adjust this date whenever revising the manpage.
+++.\"
+++.\" Some roff macros, for reference:
+++.\" .nh disable hyphenation
+++.\" .hy enable hyphenation
+++.\" .ad l left justify
+++.\" .ad b justify to both left and right margins
+++.\" .nf disable filling
+++.\" .fi enable filling
+++.\" .br insert line break
+++.\" .sp <n> insert n+1 empty lines
+++.\" for manpage-specific macros, see man(7)
+++.SH NAME
+++lpconvert \- converter between gringo's aspif and smodels format
+++.SH SYNOPSIS
+++.B lpconvert
+++\fR[\fIOPTION\fR]... \fR[\fIFILE\fR]...
+++.SH DESCRIPTION
+++This manual page documents briefly the
+++.B lpconvert
+++command.
+++.PP
+++.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+++.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+++.\" respectively.
+++\fBlpconvert\fP is a converter between gringo's aspif and smodels
+++format.
+++.SH OPTIONS
+++These programs follow the usual GNU command line syntax, with long
+++options starting with two dashes (`-'). A summary of options is
+++included below. For a complete description, see the potassco-guide
+++https://sourceforge.net/projects/potassco/files/guide/2.0/.
+++.TP
+++.B \-h, \-\-help
+++Show summary of options.
+++.TP
+++.B \-v, \-\-version
+++Show version of program.
+++.SH SEE ALSO
+++.BR clasp (1),
+++.BR gringo (1),
+++.BR reify (1)
+++.br
+++.SH AUTHOR
+++lpconvert was written by Roland Kaminski <kaminski@cs.uni-potsdam.de>
+++.PP
+++This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
+++for the Debian project (and may be used by others).
++diff --git a/reify.1 b/reify.1
++new file mode 100644
++index 0000000..aea2db7
++--- /dev/null
+++++ b/reify.1
++@@ -0,0 +1,54 @@
+++.\" Hey, EMACS: -*- nroff -*-
+++.\" First parameter, NAME, should be all caps
+++.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+++.\" other parameters are allowed: see man(7), man(1)
+++.TH REIFY 1 "December 11, 2016"
+++.\" Please adjust this date whenever revising the manpage.
+++.\"
+++.\" Some roff macros, for reference:
+++.\" .nh disable hyphenation
+++.\" .hy enable hyphenation
+++.\" .ad l left justify
+++.\" .ad b justify to both left and right margins
+++.\" .nf disable filling
+++.\" .fi enable filling
+++.\" .br insert line break
+++.\" .sp <n> insert n+1 empty lines
+++.\" for manpage-specific macros, see man(7)
+++.SH NAME
+++reify \- a small utility that reifies logic programs
+++.SH SYNOPSIS
+++.B reify
+++\fR[\fIOPTION\fR]...
+++.SH DESCRIPTION
+++This manual page documents briefly the
+++.B reify
+++command.
+++.PP
+++.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+++.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+++.\" respectively.
+++\fBreify\fP is a small utility that reifies logic programs given in
+++aspif format by reading standard input. It produces a set of facts,
+++which can be processed further with gringo.
+++.SH OPTIONS
+++These programs follow the usual GNU command line syntax, with long
+++options starting with two dashes (`-'). A summary of options is
+++included below. For a complete description, see the potassco-guide
+++https://sourceforge.net/projects/potassco/files/guide/2.0/.
+++.TP
+++.B \-h, \-\-help
+++Show summary of options.
+++.TP
+++.B \-v, \-\-version
+++Show version of program.
+++.SH SEE ALSO
+++.BR clasp (1),
+++.BR gringo (1),
+++.BR lpconvert (1)
+++.br
+++.SH AUTHOR
+++reify was written by Roland Kaminski <kaminski@cs.uni-potsdam.de>
+++.PP
+++This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
+++for the Debian project (and may be used by others).
--- /dev/null
--- /dev/null
++From: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++Date: Mon, 5 Feb 2018 06:31:16 +0000
++Subject: Fix testsuite for python3 when reading utf-8 scripts
++
++===================================================================
++---
++ app/clingo/tests/run.py | 4 ++--
++ 1 file changed, 2 insertions(+), 2 deletions(-)
++
++diff --git a/app/clingo/tests/run.py b/app/clingo/tests/run.py
++index 63032f5..7da85a1 100755
++--- a/app/clingo/tests/run.py
+++++ b/app/clingo/tests/run.py
++@@ -1,4 +1,4 @@
++-#!/usr/bin/python
+++#!/usr/bin/python3
++
++ import re
++ import os
++@@ -133,7 +133,7 @@ if parse_ret.action == "run":
++ for f in sorted(files):
++ if f.endswith(".lp"):
++ b = os.path.join(root, f[:-3])
++- inst = open(b + ".lp", 'rU').read()
+++ inst = open(b + ".lp", 'rU', encoding='utf-8').read()
++ if (not with_python and re.search(r"#script[ ]*\(python\)", inst)) or \
++ (not with_lua and re.search(r"#script[ ]*\(lua\)", inst)) or \
++ (not with_threads and re.search("async=", inst)) or \
--- /dev/null
--- /dev/null
++From: Roland Kaminski <kaminski@cs.uni-potsdam.de>
++Date: Sat, 3 Nov 2018 22:34:57 +0100
++Subject: rename async keyword in python API
++Bug-Debian: https://bugs.debian.org/912552
++Forwarded: https://github.com/potassco/clingo/pull/125
++
++`async` is a reserved keyword starting with python 3.7:
++https://docs.python.org/3/whatsnew/3.7.html#summary-release-highlights
++
++The `Control` class method `solve()` now uses the following keyword
++argument list:
++
++```
++solve(self, assumptions, on_model, on_finish, yield_, async_)
++
++```
++
++closes #125
++---
++ app/clingo/tests/python/assumptions4.lp | 2 +-
++ app/clingo/tests/python/cancel.lp | 2 +-
++ app/clingo/tests/python/interrupt.lp | 2 +-
++ app/clingo/tests/python/test.lp | 2 +-
++ app/clingo/tests/run.py | 2 +-
++ examples/clingo/controller-async/controller.py | 2 +-
++ examples/clingo/controller-processes/client.py | 2 +-
++ examples/clingo/controller-threads/controller.py | 2 +-
++ examples/clingo/robots/visualize.py | 4 ++--
++ examples/clingo/solve-async/solve-async-py.lp | 2 +-
++ libpyclingo/pyclingo.cc | 19 ++++++++++---------
++ 11 files changed, 21 insertions(+), 20 deletions(-)
++
++diff --git a/app/clingo/tests/python/assumptions4.lp b/app/clingo/tests/python/assumptions4.lp
++index d5496b6..3712206 100644
++--- a/app/clingo/tests/python/assumptions4.lp
+++++ b/app/clingo/tests/python/assumptions4.lp
++@@ -7,7 +7,7 @@ def main(prg):
++ prg.ground([("base", [])])
++ prg.solve(assumptions=[(Function("a"), True)])
++
++- with prg.solve(assumptions=[(Function("a"), True)], async=True) as handle:
+++ with prg.solve(assumptions=[(Function("a"), True)], async_=True) as handle:
++ handle.get()
++
++ with prg.solve(assumptions=[(Function("a"), True)], yield_=True) as handle:
++diff --git a/app/clingo/tests/python/cancel.lp b/app/clingo/tests/python/cancel.lp
++index 97ca502..7ef4491 100644
++--- a/app/clingo/tests/python/cancel.lp
+++++ b/app/clingo/tests/python/cancel.lp
++@@ -8,7 +8,7 @@ def main(prg):
++ prg.assign_external(clingo.Function("p"), True)
++ prg.solve()
++ prg.assign_external(clingo.Function("p"), False)
++- with prg.solve(async=True) as handle:
+++ with prg.solve(async_=True) as handle:
++ handle.wait(0.01)
++ handle.cancel()
++
++diff --git a/app/clingo/tests/python/interrupt.lp b/app/clingo/tests/python/interrupt.lp
++index 15f99c8..993ffe8 100644
++--- a/app/clingo/tests/python/interrupt.lp
+++++ b/app/clingo/tests/python/interrupt.lp
++@@ -8,7 +8,7 @@ def main(prg):
++ prg.assign_external(clingo.Function("p"), True)
++ prg.solve()
++ prg.assign_external(clingo.Function("p"), False)
++- with prg.solve(async=True) as handle:
+++ with prg.solve(async_=True) as handle:
++ handle.wait(0.01)
++ prg.interrupt()
++
++diff --git a/app/clingo/tests/python/test.lp b/app/clingo/tests/python/test.lp
++index 233b193..d5c6898 100644
++--- a/app/clingo/tests/python/test.lp
+++++ b/app/clingo/tests/python/test.lp
++@@ -31,7 +31,7 @@ def main (prg):
++ parts.append(("cumulative", [i]))
++ prg.ground(parts)
++ parts = []
++- with prg.solve(on_model=on_model, on_finish=on_finish, async=True) as handle:
+++ with prg.solve(on_model=on_model, on_finish=on_finish, async_=True) as handle:
++ handle.wait(0)
++ ret = handle.get()
++ writeln("Answer: 42")
++diff --git a/app/clingo/tests/run.py b/app/clingo/tests/run.py
++index 7da85a1..bf22e13 100755
++--- a/app/clingo/tests/run.py
+++++ b/app/clingo/tests/run.py
++@@ -136,7 +136,7 @@ if parse_ret.action == "run":
++ inst = open(b + ".lp", 'rU', encoding='utf-8').read()
++ if (not with_python and re.search(r"#script[ ]*\(python\)", inst)) or \
++ (not with_lua and re.search(r"#script[ ]*\(lua\)", inst)) or \
++- (not with_threads and re.search("async=", inst)) or \
+++ (not with_threads and re.search("async_=", inst)) or \
++ (not with_threads and re.search("solve_async", inst)):
++ continue
++
++diff --git a/examples/clingo/controller-async/controller.py b/examples/clingo/controller-async/controller.py
++index d8568b0..b2cbc2e 100755
++--- a/examples/clingo/controller-async/controller.py
+++++ b/examples/clingo/controller-async/controller.py
++@@ -104,7 +104,7 @@ class Solver:
++ self.prg.ground([("sleep", [self.k])])
++ self.prg.release_external(clingo.Function("sleep", [self.k-1]))
++ self.prg.assign_external(clingo.Function("sleep", [self.k]), True)
++- self.future = self.prg.solve(on_model=self.on_model, on_finish=on_finish, async=True)
+++ self.future = self.prg.solve(on_model=self.on_model, on_finish=on_finish, async_=True)
++
++ def stop(self):
++ self.future.cancel()
++diff --git a/examples/clingo/controller-processes/client.py b/examples/clingo/controller-processes/client.py
++index 1d73bbc..7b707f2 100644
++--- a/examples/clingo/controller-processes/client.py
+++++ b/examples/clingo/controller-processes/client.py
++@@ -42,7 +42,7 @@ def main(prg):
++ if state == States.SOLVE:
++ f = prg.solve(
++ on_model = lambda model: conn.sendall(b"Answer: " + str(model).encode() + b"\n"),
++- on_finish = lambda ret: conn.sendall(b"finish:" + str(ret).encode() + (b":INTERRUPTED" if ret.interrupted else b"") + b"\n"), async=True)
+++ on_finish = lambda ret: conn.sendall(b"finish:" + str(ret).encode() + (b":INTERRUPTED" if ret.interrupted else b"") + b"\n"), async_=True)
++ msg = recv.readline().decode()
++ if state == States.SOLVE:
++ f.cancel()
++diff --git a/examples/clingo/controller-threads/controller.py b/examples/clingo/controller-threads/controller.py
++index df5a6e3..64ff059 100755
++--- a/examples/clingo/controller-threads/controller.py
+++++ b/examples/clingo/controller-threads/controller.py
++@@ -129,7 +129,7 @@ class SolveThread(Thread):
++ def run(self):
++ while True:
++ if self.state == SolveThread.STATE_SOLVE:
++- f = self.prg.solve(on_model=self.on_model, on_finish=self.on_finish, async=True)
+++ f = self.prg.solve(on_model=self.on_model, on_finish=self.on_finish, async_=True)
++ msg = self.input.receive()
++ if self.state == SolveThread.STATE_SOLVE:
++ f.cancel()
++diff --git a/examples/clingo/robots/visualize.py b/examples/clingo/robots/visualize.py
++index 2cc24da..a105c94 100755
++--- a/examples/clingo/robots/visualize.py
+++++ b/examples/clingo/robots/visualize.py
++@@ -119,7 +119,7 @@ class Solver:
++ for x in self.__assign:
++ self.__prg.assign_external(x, True)
++ self.__solution = None
++- self.__future = self.__prg.solve(on_model=self.__on_model, async=True)
+++ self.__future = self.__prg.solve(on_model=self.__on_model, async_=True)
++
++ def busy(self):
++ if self.__future is None:
++@@ -127,7 +127,7 @@ class Solver:
++ if self.__future.wait(0):
++ if self.__solution is None:
++ self.__next()
++- self.__future = self.__prg.solve(on_model=self.__on_model, async=True)
+++ self.__future = self.__prg.solve(on_model=self.__on_model, async_=True)
++ return True
++ else:
++ self.__future = None
++diff --git a/examples/clingo/solve-async/solve-async-py.lp b/examples/clingo/solve-async/solve-async-py.lp
++index 6cd9a2d..4573c50 100644
++--- a/examples/clingo/solve-async/solve-async-py.lp
+++++ b/examples/clingo/solve-async/solve-async-py.lp
++@@ -10,7 +10,7 @@ def make_on_finish(stop):
++ def main(prg):
++ stop = [False]
++ prg.ground([("base", [])])
++- future, n, m = prg.solve(on_finish=make_on_finish(stop), async=True), 0, 0
+++ future, n, m = prg.solve(on_finish=make_on_finish(stop), async_=True), 0, 0
++ while not stop[0]:
++ x, y, m = random(), random(), m+1
++ if x * x + y * y < 1: n+= 1
++diff --git a/libpyclingo/pyclingo.cc b/libpyclingo/pyclingo.cc
++index 73b2f1a..39effee 100644
++--- a/libpyclingo/pyclingo.cc
+++++ b/libpyclingo/pyclingo.cc
++@@ -6302,22 +6302,23 @@ active; you must not call any member function during search.)";
++ CHECK_BLOCKED("solve");
++ Py_XDECREF(stats);
++ stats = nullptr;
++- static char const *kwlist[] = {"assumptions", "on_model", "on_statistics", "on_finish", "yield_", "async", nullptr};
++- Reference pyAss = Py_None, pyM = Py_None, pyS = Py_None, pyF = Py_None, pyYield = Py_False, pyAsync = Py_False;
++- ParseTupleAndKeywords(args, kwds, "|OOOOOO", kwlist, pyAss, pyM, pyS, pyF, pyYield, pyAsync);
+++ static char const *kwlist[] = {"assumptions", "on_model", "on_statistics", "on_finish", "yield_", "async", "async_", nullptr};
+++ Reference pyAss = Py_None, pyM = Py_None, pyS = Py_None, pyF = Py_None, pyYield = Py_False, pyAsync = Py_False, pyAsync_ = Py_False;
+++ ParseTupleAndKeywords(args, kwds, "|OOOOOOO", kwlist, pyAss, pyM, pyS, pyF, pyYield, pyAsync, pyAsync_);
++ std::vector<clingo_literal_t> ass;
++ if (!pyAss.is_none()) {
++ clingo_symbolic_atoms_t *atoms;
++ handle_c_error(clingo_control_symbolic_atoms(ctl, &atoms));
++ ass = pyToLits(pyAss, atoms, false, false);
++ }
+++ bool async = pyAsync.isTrue() || pyAsync_.isTrue();
++ clingo_solve_mode_bitset_t mode = 0;
++ if (pyYield.isTrue()) { mode |= clingo_solve_mode_yield; }
++- if (pyAsync.isTrue()) { mode |= clingo_solve_mode_async; }
+++ if (async) { mode |= clingo_solve_mode_async; }
++ auto handle = SolveHandle::construct();
++ auto notify = handle->notify(&SolveHandle::on_event, pyM, pyS, pyF);
++ doUnblocked([&](){ handle_c_error(clingo_control_solve(ctl, mode, ass.data(), ass.size(), notify, handle.obj, &handle->handle)); });
++- if (!pyYield.isTrue() && !pyAsync.isTrue()) { return handle->get(); }
+++ if (!pyYield.isTrue() && !async) { return handle->get(); }
++ else { return handle; }
++ }
++ Object cleanup() {
++@@ -6551,7 +6552,7 @@ Arguments:
++ path -- path to program)"},
++ // solve
++ {"solve", to_function<&ControlWrap::solve>(), METH_KEYWORDS | METH_VARARGS,
++-R"(solve(self, assumptions, on_model, on_finish, yield_, async) -> SolveHandle|SolveResult
+++R"(solve(self, assumptions, on_model, on_finish, yield_, async_) -> SolveHandle|SolveResult
++
++ Starts a search.
++
++@@ -6573,10 +6574,10 @@ assumptions -- List of (atom, boolean) tuples or program literals that serve
++ (Default: [])
++ yield_ -- The resulting SolveHandle is iterable yielding Model objects.
++ (Default: False)
++-async -- The solve call and SolveHandle.resume() are non-blocking.
+++async_ -- The solve call and SolveHandle.resume() are non-blocking.
++ (Default: False)
++
++-If neither yield_ nor async is set, the function returns a SolveResult right
+++If neither yield_ nor async_ is set, the function returns a SolveResult right
++ away.
++
++ Note that in gringo or in clingo with lparse or text output enabled this
++@@ -6635,7 +6636,7 @@ def on_finish(res, canceled):
++ def main(prg):
++ prg.add("p", [], "{a;b;c}.")
++ prg.ground([("base", [])])
++- with prg.solve(on_model=on_model, on_finish=on_finish, async=True) as handle:
+++ with prg.solve(on_model=on_model, on_finish=on_finish, async_=True) as handle:
++ while not handle.wait(0):
++ # do something asynchronously
++ print(handle.get())
--- /dev/null
--- /dev/null
++gringo-manpages.patch
++gringo-python3-utf8.patch
++gringo-python37-async.patch
--- /dev/null
--- /dev/null
++#!/usr/bin/make -f
++# -*- makefile -*-
++
++# Uncomment this to turn on verbose mode.
++#export DH_VERBOSE=1
++
++# gringo requires c++11 threads with 64bit __atomic_exchange, we need to
++# link with libatomic on armel, powerpc, powerpcspe, m68k, mips, mipsel, and
++# sh4, see also
++# https://gcc.gnu.org/wiki/Atomic
++# https://gcc.gnu.org/wiki/Atomic/GCCMM/LIbrary
++arch = $(shell dpkg-architecture -qDEB_BUILD_ARCH | egrep -x "(armhf|armel|powerpc|powerpcspe|m68k|mips|mipsel|sh4)")
++
++# use custom hardening config flags for compiling clasp
++CONFIG=hardening
++CONFIGPARMS = -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -LAH -DCMAKE_SKIP_RPATH=YES -DCLINGO_MANAGE_RPATH=OFF -DLIB_POTASSCO_BUILD_APP=ON -DLIB_POTASSCO_BUILD_TESTS=ON -DCLASP_BUILD_APP=OFF -DCLASP_BUILD_TESTS=OFF -DCLASP_BUILD_EXAMPLES=OFF -DCLINGO_BUILD_EXAMPLES=ON -DCLINGO_BUILD_TESTS=ON -DPYTHON_EXECUTABLE:FILEPATH=/usr/bin/python3.7
++TOPBUILDDIR = build/$(CONFIG)_mt
++ROOTDIR = $(shell pwd)
++
++#
++# export CXXFLAGS and LDFLAGS for cmake
++#
++# add -O3 and NDEBUG and enable all hardening flags
++# link with libatomic on architectures without built-in atomic
++#
++DEB_CXXFLAGS_MAINT_APPEND = -O3 -DNDEBUG
++DEB_LDFLAGS_MAINT_APPEND =
++ifeq ($(if $(arch),atomic), atomic)
++ DEB_LDFLAGS_MAINT_APPEND += -latomic
++endif
++
++export DEB_BUILD_MAINT_OPTIONS = hardening=+all
++
++#
++# export CPPFLAGS, CXXFLAGS, and LDFLAGS for scons
++#
++# default to -O3 -Wall -DNDEBUG and enable all hardening flags
++#
++DEB_CXXFLAGS_MAINT_APPEND = -O3 -Wall
++DEB_CPPFLAGS_MAINT_APPEND = -DNDEBUG
++DEB_LDFLAGS_MAINT_APPEND =
++ifeq ($(if $(arch),atomic), atomic)
++ DEB_LDFLAGS_MAINT_APPEND += -latomic
++endif
++
++export DEB_BUILD_MAINT_OPTIONS = hardening=+all
++
++DPKG_EXPORT_BUILDFLAGS = 1
++include /usr/share/dpkg/buildflags.mk
++
++# force g++-8
++export CXX = g++-8
++export CC = gcc-8
++# inject CPPFLAGS to CXXFLAGS
++CXXFLAGS += $(CPPFLAGS)
++
++%:
++ dh $@ --with pkgkde_symbolshelper
++
++# configure with cmake
++override_dh_auto_configure:
++ dh_auto_configure --builddirectory=$(TOPBUILDDIR) -- $(CONFIGPARMS)
++
++# build binaries in $(TOPBUILDDIR)
++override_dh_auto_build:
++ dh_auto_build --builddirectory=$(TOPBUILDDIR)
++
++override_dh_auto_clean:
++ dh_auto_clean --builddirectory=$(TOPBUILDDIR)
++
++# run and output test results
++override_dh_auto_test:
++ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
++ dh_auto_test --builddirectory=$(TOPBUILDDIR) -- -e LD_LIBRARY_PATH="$(ROOTDIR)/$(TOPBUILDDIR)/bin:$(LD_LIBRARY_PATH)" &&\
++ { EXIT_CODE=$$? ; echo "Exit $$EXIT_CODE" ; test -d $(TOPBUILDDIR)/Testing/Temporary && tail -n +1 -v -- $(TOPBUILDDIR)/Testing/Temporary/* ; exit $$EXIT_CODE ; } ||\
++ { EXIT_CODE=$$? ; echo "Exit $$EXIT_CODE" ; test -d $(TOPBUILDDIR)/Testing/Temporary && tail -n +1 -v -- $(TOPBUILDDIR)/Testing/Temporary/* ; exit $$EXIT_CODE ; }
++endif
++
++# install CHANGES.md as changelog
++override_dh_installchangelogs:
++ dh_installchangelogs CHANGES.md
++
++override_dh_shlibdeps:
++ dh_shlibdeps -l$(shell pwd)/$(TOPBUILDDIR)/bin
--- /dev/null
--- /dev/null
++3.0 (quilt)
--- /dev/null
--- /dev/null
++# SymbolsHelper-Confirmed: 5.3.0-6~ alpha amd64 arm64 armel armhf hppa hurd-i386 i386 kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64 ppc64el riscv64 s390x sh4 x32
++libclingo.so.2 gringo #MINVER#
++ (optional=templinst|arch=sh4)_ZN9__gnu_cxx12__to_xstringINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEcEET_PFiPT0_jPKS8_13__va_list_tagEjSB_z@Base 1
++ (optional=templinst|arch=hppa)_ZN9__gnu_cxx12__to_xstringINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEcEET_PFiPT0_jPKS8_PvEjSB_z@Base 1
++ (optional=templinst|arch=alpha)_ZN9__gnu_cxx12__to_xstringINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEcEET_PFiPT0_mPKS8_13__va_list_tagEmSB_z@Base 1
++ (optional=templinst|arch=s390x)_ZN9__gnu_cxx12__to_xstringINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEcEET_PFiPT0_mPKS8_P13__va_list_tagEmSB_z@Base 1
++ (optional=templinst|arch=ppc64)_ZN9__gnu_cxx12__to_xstringINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEcEET_PFiPT0_mPKS8_PcEmSB_z@Base 1
++ (optional=templinst|arch=arm64)_ZN9__gnu_cxx12__to_xstringINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEcEET_PFiPT0_mPKS8_St9__va_listEmSB_z@Base 1
++ (optional=templinst)_ZNKSt5ctypeIcE8do_widenEc@Base 1
++ (optional=templinst)_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE4findERKS5_@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt10_HashtableINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_jESaIS8_ENSt8__detail10_Select1stESt8equal_toIS5_ESt4hashIS5_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb1ELb0ELb1EEEE10_M_emplaceIJS8_EEES6_INSA_14_Node_iteratorIS8_Lb0ELb1EEEbESt17integral_constantIbLb1EEDpOT_@Base 1
++ (optional=templinst|subst)_ZNSt10_HashtableINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_jESaIS8_ENSt8__detail10_Select1stESt8equal_toIS5_ESt4hashIS5_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb1ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNSA_10_Hash_nodeIS8_Lb1EEE{size_t}@Base 1
++#MISSING: 5.3.0# (optional=templinst|subst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt10_HashtableINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_jESaIS8_ENSt8__detail10_Select1stESt8equal_toIS5_ESt4hashIS5_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb1ELb0ELb1EEEE9_M_rehashE{size_t}RK{size_t}@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=x32|subst)_ZNSt10_HashtableIiSt4pairIKi{uint64_t}ESaIS2_ENSt8__detail10_Select1stESt8equal_toIiESt4hashIiENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS4_10_Hash_nodeIS2_Lb0EEE@Base 1
++ (optional=templinst|subst)_ZNSt10_HashtableIiSt4pairIKi{uint64_t}ESaIS2_ENSt8__detail10_Select1stESt8equal_toIiESt4hashIiENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS4_10_Hash_nodeIS2_Lb0EEE{size_t}@Base 1
++ (optional=templinst|subst)_ZNSt10_HashtableIiSt4pairIKi{uint64_t}ESaIS2_ENSt8__detail10_Select1stESt8equal_toIiESt4hashIiENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE5eraseENS4_20_Node_const_iteratorIS2_Lb0ELb0EEE@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=x32|subst)_ZNSt10_HashtableIiSt4pairIKi{uint64_t}ESaIS2_ENSt8__detail10_Select1stESt8equal_toIiESt4hashIiENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashE{size_t}RK{size_t}@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=ia64 kfreebsd-amd64 x32|subst)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS6_10_Hash_nodeIS4_Lb0EEE@Base 1
++ (optional=templinst|subst)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS6_10_Hash_nodeIS4_Lb0EEE{size_t}@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !ia64 !kfreebsd-amd64 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEjRS1_@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=ia64 kfreebsd-amd64)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEmRKm@Base 1
++ (optional=templinst)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE11equal_rangeERS1_@Base 1
++#MISSING: 5.3.0# (optional=templinst|subst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE13_M_rehash_auxE{size_t}St17integral_constantIbLb0EE@Base 1
++ (optional=templinst|subst)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE20_M_insert_multi_nodeEPNS4_10_Hash_nodeIS2_Lb0EEE{size_t}SI_@Base 1
++ (optional=templinst)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE5clearEv@Base 1
++ (optional=templinst)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEED1Ev@Base 1
++ (optional=templinst)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEED2Ev@Base 1
++ (optional=templinst|arch=ia64)_ZNSt10_HashtableImSt4pairIKmjESaIS2_ENSt8__detail10_Select1stESt8equal_toImESt4hashImENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE8_M_eraseEmPNS4_15_Hash_node_baseEPNS4_10_Hash_nodeIS2_Lb0EEE@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=ia64 kfreebsd-amd64)_ZNSt10_HashtableImSt4pairIKmjESaIS2_ENSt8__detail10_Select1stESt8equal_toImESt4hashImENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEmRS1_@Base 1
++#MISSING: 1# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hurd-i386 !i386 !ia64 !kfreebsd-amd64 !m68k !mips !mips64el !mipsel !powerpcspe !ppc64 !ppc64el !s390x !sh4 !x32)_ZNSt10_HashtableIySt4pairIKyjESaIS2_ENSt8__detail10_Select1stESt8equal_toIyESt4hashIyENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEjRKj@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=ia64 kfreebsd-amd64|subst)_ZNSt10_HashtableI{uint64_t}St4pairIK{uint64_t}jESaIS2_ENSt8__detail10_Select1stESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS4_10_Hash_nodeIS2_Lb0EEE@Base 1
++ (optional=templinst|subst)_ZNSt10_HashtableI{uint64_t}{uint64_t}SaI{uint64_t}ENSt8__detail9_IdentityESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS1_10_Hash_nodeI{uint64_t}Lb0EEE{size_t}@Base 1
++ (optional=templinst|subst)_ZNSt10_HashtableI{uint64_t}{uint64_t}SaI{uint64_t}ENSt8__detail9_IdentityESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE5eraseENS1_20_Node_const_iteratorI{uint64_t}Lb1ELb0EEE@Base 1
++ (optional=templinst|subst)_ZNSt10_HashtableI{uint64_t}{uint64_t}SaI{uint64_t}ENSt8__detail9_IdentityESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE9_M_rehashE{size_t}RK{size_t}@Base 1
++ (optional=templinst|arch=amd64 arm64 hppa kfreebsd-amd64 sh4 x32|subst)_ZNSt10_HashtableI{uint64_t}{uint64_t}SaI{uint64_t}ENSt8__detail9_IdentityESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEED1Ev@Base 1
++ (optional=templinst|arch=amd64 arm64 hppa kfreebsd-amd64 sh4 x32|subst)_ZNSt10_HashtableI{uint64_t}{uint64_t}SaI{uint64_t}ENSt8__detail9_IdentityESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEED2Ev@Base 1
++ (optional=templinst|arch=mips mipsel)_ZNSt11__copy_moveILb1ELb0ESt26random_access_iterator_tagE8__copy_mIPN6Gringo11IntervalSetINS3_6SymbolEE8IntervalES8_EET0_T_SA_S9_@Base 5.3.0-6~
++#MISSING: 5.3.0# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt11unique_lockISt5mutexE6unlockEv@Base 1
++ (optional=templinst|arch=amd64 arm64 hppa kfreebsd-amd64 x32)_ZNSt12__shared_ptrIjLN9__gnu_cxx12_Lock_policyE2EEC1ERKS2_@Base 5.3.0-6~
++ (optional=templinst|arch=amd64 arm64 hppa kfreebsd-amd64 x32)_ZNSt12__shared_ptrIjLN9__gnu_cxx12_Lock_policyE2EEC2ERKS2_@Base 5.3.0-6~
++ (optional=templinst|arch=!armel !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !powerpc !powerpcspe !sh4 !x32)_ZNSt13_Bvector_baseISaIbEE13_M_deallocateEv@Base 1
++ (optional=templinst)_ZNSt14_Function_base13_Base_managerISt5_BindIFMN5Clasp3Cli12ClaspAppBaseEFbRNS2_11ClaspFacadeEEPN6Gringo9ClingoAppESt12_PlaceholderILi1EEEEE10_M_managerERSt9_Any_dataRKSH_St18_Manager_operation@Base 1
++ (optional=templinst)_ZNSt14_Function_base13_Base_managerISt5_BindIFMN5Clasp3Cli12ClaspAppBaseEFbRNS2_14ProgramBuilderEEPN6Gringo9ClingoAppESt12_PlaceholderILi1EEEEE10_M_managerERSt9_Any_dataRKSH_St18_Manager_operation@Base 1
++ (optional=templinst)_ZNSt14_Function_base13_Base_managerISt5_BindIFMN6Gringo10IClingoAppEFvNS2_8WarningsEPKcEPS3_St12_PlaceholderILi1EESA_ILi2EEEEE10_M_managerERSt9_Any_dataRKSG_St18_Manager_operation@Base 5.3.0
++ (optional=templinst)_ZNSt14_Function_base13_Base_managerIZNK6Gringo11ClingoModel5atomsEjEUljE_E10_M_managerERSt9_Any_dataRKS5_St18_Manager_operation@Base 1
++ (optional=templinst)_ZNSt15__exception_ptr12__dest_thunkISt13runtime_errorEEvPv@Base 1
++ (optional=templinst|arch=armel riscv64)_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE10_M_releaseEv@Base 1
++ (optional=templinst|arch=!armel !riscv64)_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE10_M_releaseEv@Base 1
++ (optional=templinst|arch=!alpha !amd64 !arm64 !hppa !ia64 !kfreebsd-amd64 !mips !mips64el !mipsel !ppc64 !ppc64el !riscv64 !s390x !sh4 !x32)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo10CSPRelTermEES5_EET0_T_S8_S7_@Base 1
++ (optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo13TheoryAtomDefEES5_EET0_T_S8_S7_@Base 5.3.0
++ (optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo5Input10CheckLevelEES6_EET0_T_S9_S8_@Base 1
++ (optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo5Input7CSPElemEES6_EET0_T_S9_S8_@Base 1
++ (optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt4pairISt10unique_ptrIN6Gringo5Input7LiteralESt14default_deleteIS7_EESt6vectorISA_SaISA_EEEESF_EET0_T_SI_SH_@Base 5.3.0-6~
++ (optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt4pairISt6vectorIS3_ISt10unique_ptrIN6Gringo5Input7LiteralESt14default_deleteIS8_EES4_ISB_SaISB_EEESaISE_EESD_EESI_EET0_T_SL_SK_@Base 1
++ (optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt4pairISt6vectorIS4_ISt10unique_ptrIN6Gringo5Input7LiteralESt14default_deleteIS8_EESaISB_EESaISD_EESD_EESH_EET0_T_SK_SJ_@Base 1
++ (optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt4pairISt6vectorISt10unique_ptrIN6Gringo4TermESt14default_deleteIS7_EESaISA_EES4_IS5_INS6_5Input7LiteralES8_ISE_EESaISG_EEEESK_EET0_T_SN_SM_@Base 1
++ (optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt5tupleIJSt6vectorISt10unique_ptrIN6Gringo4TermESt14default_deleteIS7_EESaISA_EES5_INS6_5Input7LiteralES8_ISE_EES4_ISG_SaISG_EEEEESK_EET0_T_SN_SM_@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt6vectorIN6Gringo5BoundESaIS5_EEES8_EET0_T_SB_SA_@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt6vectorISt10unique_ptrIN6Gringo4TermESt14default_deleteIS6_EESaIS9_EEESC_EET0_T_SF_SE_@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt6vectorISt10unique_ptrIN6Gringo5Input7LiteralESt14default_deleteIS7_EESaISA_EEESD_EET0_T_SG_SF_@Base 1
++ (optional=templinst|arch=!amd64 !arm64 !hppa !kfreebsd-amd64 !sh4 !x32)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt8functionIFSt10unique_ptrIN6Gringo6Ground9StatementESt14default_deleteIS7_EEOSt6vectorIS4_INS6_7LiteralES8_ISC_EESaISE_EEEEESK_EET0_T_SN_SM_@Base 1
++ (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE10_M_destroyEv@Base 1
++ (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE10_M_disposeEv@Base 1
++ (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE14_M_get_deleterERKSt9type_info@Base 1
++ (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED0Ev@Base 1
++ (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED1Ev@Base 1
++ (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED2Ev@Base 1
++ (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE10_M_destroyEv@Base 1
++ (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE10_M_disposeEv@Base 1
++ (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE14_M_get_deleterERKSt9type_info@Base 1
++ (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED0Ev@Base 1
++ (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED1Ev@Base 1
++ (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED2Ev@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt3_V28__rotateIPjEET_S2_S2_S2_St26random_access_iterator_tag@Base 1
++ (optional=templinst)_ZNSt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_ED1Ev@Base 1
++ (optional=templinst)_ZNSt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_ED2Ev@Base 1
++ (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEE6_M_runEv@Base 1
++ (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEED0Ev@Base 1
++ (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEED1Ev@Base 1
++ (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEED2Ev@Base 1
++ (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEE6_M_runEv@Base 1
++ (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEED0Ev@Base 1
++ (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEED1Ev@Base 1
++ (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEED2Ev@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input10TermVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input11BdLitVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input11BoundVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input13CSPAddTermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input13CSPElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input13CSPMulTermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input13CondLitVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input13TermVecVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input13TheoryAtomUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input13TheoryTermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input14TheoryOpDefUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input14TheoryOpVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input15TheoryDefVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input15TheoryOptermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input16BdAggrElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input16HdAggrElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input16TheoryAtomDefUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input16TheoryElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input16TheoryTermDefUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input17TheoryOpDefVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input18TheoryOptermVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input6LitUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input7TermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input8HdLitUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input8IdVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input9CSPLitUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIN6Gringo5Input9LitVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 1
++ (optional=templinst|arch=s390x)_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE12emplace_backIJS5_EEEvDpOT_@Base 1
++ (optional=templinst|subst)_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_default_appendE{size_t}@Base 1
++ (optional=templinst)_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_realloc_insertIJRKS5_EEEvN9__gnu_cxx17__normal_iteratorIPS5_S7_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_realloc_insertIJS5_EEEvN9__gnu_cxx17__normal_iteratorIPS5_S7_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED1Ev@Base 1
++ (optional=templinst)_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED2Ev@Base 1
++ (optional=templinst)_ZNSt6vectorIPKcSaIS1_EE17_M_realloc_insertIJRKS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIPKcSaIS1_EE17_M_realloc_insertIJS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIPcSaIS0_EE17_M_realloc_insertIJS0_EEEvN9__gnu_cxx17__normal_iteratorIPS0_S2_EEDpOT_@Base 5.3.0
++ (optional=templinst)_ZNSt6vectorIPvSaIS0_EE12emplace_backIJS0_EEEvDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIPvSaIS0_EE17_M_realloc_insertIJS0_EEEvN9__gnu_cxx17__normal_iteratorIPS0_S2_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIS_IPKcSaIS1_EESaIS3_EE17_M_realloc_insertIJEEEvN9__gnu_cxx17__normal_iteratorIPS3_S5_EEDpOT_@Base 1
++#MISSING: 5.3.0-6~# (arch=!amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-amd64 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt6vectorISt10unique_ptrIA_cSt14default_deleteIS1_EESaIS4_EE12emplace_backIJPcEEEvDpOT_@Base 5.3.0-6~
++ _ZNSt6vectorISt10unique_ptrIA_cSt14default_deleteIS1_EESaIS4_EE17_M_realloc_insertIJPcEEEvN9__gnu_cxx17__normal_iteratorIPS4_S6_EEDpOT_@Base 5.3.0-6~
++#MISSING: 5.3.0-6~# (optional=templinst|arch=mips)_ZNSt6vectorISt4pairIPKciESaIS3_EE12emplace_backIJS3_EEEvDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorISt4pairIPKciESaIS3_EE17_M_realloc_insertIJS3_EEEvN9__gnu_cxx17__normal_iteratorIPS3_S5_EEDpOT_@Base 1
++ (optional=templinst|arch=!amd64 !arm64 !kfreebsd-amd64 !x32)_ZNSt6vectorISt4pairIS0_IjjEjESaIS2_EE17_M_realloc_insertIJS1_RjEEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.3.0-5~
++ (optional=templinst|arch=amd64 arm64 armel armhf hurd-i386 i386 kfreebsd-amd64 kfreebsd-i386 m68k mips mipsel powerpc powerpcspe ppc64 ppc64el s390x sh4 x32)_ZNSt6vectorISt4pairIiiESaIS1_EE17_M_realloc_insertIJRKiS6_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 1
++ (optional=templinst|arch=amd64 arm64 armel armhf hurd-i386 i386 kfreebsd-amd64 kfreebsd-i386 m68k mips mipsel powerpc powerpcspe ppc64 ppc64el s390x sh4 x32)_ZNSt6vectorISt4pairIiiESaIS1_EE17_M_realloc_insertIJiiEEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorISt4pairIijESaIS1_EE12emplace_backIJRS1_EEEvDpOT_@Base 1
++#MISSING: 5.3.0-6~# (optional=templinst|arch=!amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-amd64 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt6vectorISt4pairIijESaIS1_EE12emplace_backIJRiiEEEvDpOT_@Base 1
++#MISSING: 5.3.0-6~# (optional=templinst|arch=!amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-amd64 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt6vectorISt4pairIijESaIS1_EE12emplace_backIJRijEEEvDpOT_@Base 1
++#MISSING: 1# (optional=templinst|arch=mipsel)_ZNSt6vectorISt4pairIijESaIS1_EE17_M_realloc_insertIJRS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 1
++ (optional=templinst|arch=amd64 arm64 armel armhf hurd-i386 i386 kfreebsd-amd64 kfreebsd-i386 m68k mips mipsel powerpc powerpcspe ppc64 ppc64el s390x sh4 x32)_ZNSt6vectorISt4pairIijESaIS1_EE17_M_realloc_insertIJRiiEEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 5.3.0-6~
++ (optional=templinst|arch=amd64 arm64 armel armhf hurd-i386 i386 kfreebsd-amd64 kfreebsd-i386 m68k mips mipsel powerpc powerpcspe ppc64 ppc64el s390x sh4 x32)_ZNSt6vectorISt4pairIijESaIS1_EE17_M_realloc_insertIJRijEEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 5.3.0-6~
++ (optional=templinst)_ZNSt6vectorISt4pairIjjESaIS1_EE12emplace_backIJRjjEEEvDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorISt4pairIjjESaIS1_EE12emplace_backIJS1_EEEvDpOT_@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !ia64 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4 !x32)_ZNSt6vectorISt4pairIjjESaIS1_EE17_M_realloc_insertIJRS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorISt4pairIjjESaIS1_EE17_M_realloc_insertIJRjjEEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorISt4pairIjjESaIS1_EE17_M_realloc_insertIJS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIbSaIbEE13_M_insert_auxESt13_Bit_iteratorb@Base 1
++ (optional=templinst|subst)_ZNSt6vectorIbSaIbEE14_M_fill_insertESt13_Bit_iterator{size_t}b@Base 1
++ (optional=templinst)_ZNSt6vectorIcSaIcEE12emplace_backIJcEEEvDpOT_@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt6vectorIcSaIcEE15_M_range_insertIPKcEEvN9__gnu_cxx17__normal_iteratorIPcS1_EET_S9_St20forward_iterator_tag@Base 1
++ (optional=templinst|subst)_ZNSt6vectorIcSaIcEE17_M_default_appendE{size_t}@Base 1
++ (optional=templinst)_ZNSt6vectorIcSaIcEE17_M_realloc_insertIJRKcEEEvN9__gnu_cxx17__normal_iteratorIPcS1_EEDpOT_@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt6vectorIiSaIiEE12emplace_backIJiEEEvDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIiSaIiEE17_M_realloc_insertIJiEEEvN9__gnu_cxx17__normal_iteratorIPiS1_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIjSaIjEE12emplace_backIJRjEEEvDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIjSaIjEE12emplace_backIJjEEEvDpOT_@Base 1
++#MISSING: 5.3.0# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt6vectorIjSaIjEE15_M_range_insertIN9__gnu_cxx17__normal_iteratorIPjS1_EEEEvS6_T_S7_St20forward_iterator_tag@Base 1
++ (optional=templinst|subst)_ZNSt6vectorIjSaIjEE17_M_default_appendE{size_t}@Base 1
++ (optional=templinst)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRKjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base 1
++#MISSING: 5.3.0-6~# (optional=templinst|arch=!amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-amd64 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRN6Gringo6Output22BodyAggregateElements_12ClauseOffsetEEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base 1
++ (optional=templinst|arch=!armel !armhf !hurd-i386 !i386 !ia64 !kfreebsd-i386 !m68k !mips !mipsel !powerpc !powerpcspe)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base 5.3.0-6~
++ (optional=templinst)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJiEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base 1
++ (optional=templinst)_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEED0Ev@Base 1
++ (optional=templinst)_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEED1Ev@Base 1
++ (optional=templinst)_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEED2Ev@Base 1
++ (optional=templinst)_ZNSt7__cxx114listIjSaIjEE4sortIN5Clasp9ClaspVmtf9LessLevelEEEvT_@Base 1
++ (optional=templinst|arch=!alpha !mips64el !ppc64 !ppc64el !riscv64 !s390x)_ZNSt7__cxx114listIjSaIjEE5mergeIN5Clasp9ClaspVmtf9LessLevelEEEvOS2_T_@Base 1
++ (optional=templinst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE16_M_insert_uniqueIRKS5_EESt4pairISt17_Rb_tree_iteratorIS5_EbEOT_@Base 1
++ (optional=templinst|arch=hppa sh4)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE16_M_insert_uniqueIS5_EESt4pairISt17_Rb_tree_iteratorIS5_EbEOT_@Base 5.3.0-6~
++ (optional=templinst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE24_M_get_insert_unique_posERKS5_@Base 1
++ (optional=templinst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE7_M_copyINSB_20_Reuse_or_alloc_nodeEEEPSt13_Rb_tree_nodeIS5_EPKSF_PSt18_Rb_tree_node_baseRT_@Base 1
++ (optional=templinst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE8_M_eraseEPSt13_Rb_tree_nodeIS5_E@Base 1
++ (optional=templinst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EEaSERKSB_@Base 1
++ (optional=templinst|subst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_{size_t}ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE16_M_insert_uniqueIS8_EES6_ISt17_Rb_tree_iteratorIS8_EbEOT_@Base 1
++ (optional=templinst|subst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_{size_t}ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE8_M_eraseEPSt13_Rb_tree_nodeIS8_E@Base 1
++#MISSING: 5.3.0-6~# (optional=templinst|arch=!amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !kfreebsd-amd64 !kfreebsd-i386 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el !riscv64 !s390x !sh4)_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE16_M_insert_uniqueIiEESt4pairISt17_Rb_tree_iteratorIiEbEOT_@Base 1
++ (optional=templinst|arch=!m68k !mips64el !ppc64el !riscv64)_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE17_M_emplace_uniqueIJiEEESt4pairISt17_Rb_tree_iteratorIiEbEDpOT_@Base 1
++ (optional=templinst)_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE8_M_eraseEPSt13_Rb_tree_nodeIiE@Base 1
++#MISSING: 1# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 !i386 !ia64 !kfreebsd-amd64 !m68k !mips !mips64el !mipsel !powerpcspe !ppc64 !ppc64el !s390x !sh4 !x32|subst)_ZNSt8__detail9_Map_baseI{uint64_t}St4pairIK{uint64_t}jESaIS3_ENS_10_Select1stESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS_18_Mod_range_hashingENS_20_Default_ranged_hashENS_20_Prime_rehash_policyENS_17_Hashtable_traitsILb0ELb0ELb1EEELb1EEixERS2_@Base 1
++ (optional=templinst)_ZNSt8functionIFbjEEC1ERKS1_@Base 1
++ (optional=templinst)_ZNSt8functionIFbjEEC2ERKS1_@Base 1
++ (optional=templinst|arch=amd64 arm64 armhf hppa hurd-i386 i386 kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64el riscv64 s390x sh4 x32)_ZNSt8functionIFvN6Gringo8WarningsEPKcEEC1ERKS5_@Base 5.3.0-6~
++ (optional=templinst|arch=amd64 arm64 armhf hppa hurd-i386 i386 kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64el riscv64 s390x sh4 x32)_ZNSt8functionIFvN6Gringo8WarningsEPKcEEC2ERKS5_@Base 5.3.0-6~
++ (optional=templinst|subst)_ZSt17__rotate_adaptiveIPjS0_{ssize_t}ET_S1_S1_S1_T1_S2_T0_S2_@Base 1
++ (arch=armel riscv64)_ZTIN9__gnu_cxx7__mutexE@Base 1
++ _ZTINSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base 1
++ _ZTINSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base 1
++ (arch=armel riscv64)_ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
++ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
++ (arch=armel riscv64)_ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
++ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
++ (arch=armel armhf)_ZTISt19_Sp_make_shared_tag@Base 5.3.0-5~
++ (arch=armel riscv64)_ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base 1
++ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 1
++ (arch=armel riscv64)_ZTSN9__gnu_cxx7__mutexE@Base 1
++ _ZTSNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base 1
++ _ZTSNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base 1
++ (arch=armel riscv64)_ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
++ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
++ (arch=armel riscv64)_ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
++ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
++ _ZTSSt19_Sp_make_shared_tag@Base 1
++ (arch=armel riscv64)_ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base 1
++ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 1
++ _ZTVNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base 1
++ _ZTVNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base 1
++ (arch=armel riscv64)_ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base 1
++ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 1
++ _ZZNSt19_Sp_make_shared_tag5_S_tiEvE5__tag@Base 5.3.0-5~
++ clingo_add_string@Base 1
++ clingo_assignment_decision@Base 1
++ clingo_assignment_decision_level@Base 1
++ clingo_assignment_has_conflict@Base 1
++ clingo_assignment_has_literal@Base 1
++ clingo_assignment_is_false@Base 1
++ clingo_assignment_is_fixed@Base 1
++ clingo_assignment_is_total@Base 1
++ clingo_assignment_is_true@Base 1
++ clingo_assignment_level@Base 1
++ clingo_assignment_max_size@Base 1
++ clingo_assignment_size@Base 1
++ clingo_assignment_truth_value@Base 1
++ clingo_backend_acyc_edge@Base 1
++ clingo_backend_add_atom@Base 1
++ clingo_backend_assume@Base 1
++ clingo_backend_begin@Base 5.3.0
++ clingo_backend_end@Base 5.3.0
++ clingo_backend_external@Base 1
++ clingo_backend_heuristic@Base 1
++ clingo_backend_minimize@Base 1
++ clingo_backend_project@Base 1
++ clingo_backend_rule@Base 1
++ clingo_backend_weight_rule@Base 1
++ clingo_configuration_array_at@Base 1
++ clingo_configuration_array_size@Base 1
++ clingo_configuration_description@Base 1
++ clingo_configuration_map_at@Base 1
++ clingo_configuration_map_has_subkey@Base 1
++ clingo_configuration_map_size@Base 1
++ clingo_configuration_map_subkey_name@Base 1
++ clingo_configuration_root@Base 1
++ clingo_configuration_type@Base 1
++ clingo_configuration_value_get@Base 1
++ clingo_configuration_value_get_size@Base 1
++ clingo_configuration_value_is_assigned@Base 1
++ clingo_configuration_value_set@Base 1
++ clingo_control_add@Base 1
++ clingo_control_assign_external@Base 1
++ clingo_control_backend@Base 1
++ clingo_control_clasp_facade@Base 1
++ clingo_control_cleanup@Base 1
++ clingo_control_configuration@Base 1
++ clingo_control_free@Base 1
++ clingo_control_get_const@Base 1
++ clingo_control_ground@Base 1
++ clingo_control_has_const@Base 1
++ clingo_control_interrupt@Base 1
++ clingo_control_is_conflicting@Base 5.3.0
++ clingo_control_load@Base 1
++ clingo_control_new@Base 1
++ clingo_control_program_builder@Base 1
++ clingo_control_register_observer@Base 1
++ clingo_control_register_propagator@Base 1
++ clingo_control_release_external@Base 1
++ clingo_control_solve@Base 1
++ clingo_control_statistics@Base 1
++ clingo_control_symbolic_atoms@Base 1
++ clingo_control_theory_atoms@Base 1
++ clingo_control_use_enumeration_assumption@Base 1
++ clingo_error_code@Base 1
++ clingo_error_message@Base 1
++ clingo_error_string@Base 1
++ clingo_main@Base 5.3.0
++ clingo_main_@Base 1
++ clingo_model_contains@Base 1
++ clingo_model_context@Base 1
++ clingo_model_cost@Base 1
++ clingo_model_cost_size@Base 1
++ clingo_model_extend@Base 5.3.0
++ clingo_model_is_true@Base 1
++ clingo_model_number@Base 1
++ clingo_model_optimality_proven@Base 1
++ clingo_model_symbols@Base 1
++ clingo_model_symbols_size@Base 1
++ clingo_model_thread_id@Base 1
++ clingo_model_type@Base 1
++ clingo_options_add@Base 5.3.0
++ clingo_options_add_flag@Base 5.3.0
++ clingo_parse_program@Base 1
++ clingo_parse_term@Base 1
++ clingo_program_builder_add@Base 1
++ clingo_program_builder_begin@Base 1
++ clingo_program_builder_end@Base 1
++ clingo_propagate_control_add_clause@Base 1
++ clingo_propagate_control_add_literal@Base 1
++ clingo_propagate_control_add_watch@Base 1
++ clingo_propagate_control_assignment@Base 1
++ clingo_propagate_control_has_watch@Base 1
++ clingo_propagate_control_propagate@Base 1
++ clingo_propagate_control_remove_watch@Base 1
++ clingo_propagate_control_thread_id@Base 1
++ clingo_propagate_init_add_watch@Base 1
++ clingo_propagate_init_add_watch_to_thread@Base 5.3.0
++ clingo_propagate_init_assignment@Base 5.3.0
++ clingo_propagate_init_get_check_mode@Base 1
++ clingo_propagate_init_number_of_threads@Base 1
++ clingo_propagate_init_set_check_mode@Base 1
++ clingo_propagate_init_solver_literal@Base 1
++ clingo_propagate_init_symbolic_atoms@Base 1
++ clingo_propagate_init_theory_atoms@Base 1
++ clingo_register_script_@Base 1
++ clingo_script_version_@Base 1
++ clingo_set_error@Base 1
++ clingo_signature_arity@Base 1
++ clingo_signature_create@Base 1
++ clingo_signature_hash@Base 1
++ clingo_signature_is_equal_to@Base 1
++ clingo_signature_is_less_than@Base 1
++ clingo_signature_is_negative@Base 1
++ clingo_signature_is_positive@Base 1
++ clingo_signature_name@Base 1
++ clingo_solve_control_add_clause@Base 1
++ clingo_solve_control_symbolic_atoms@Base 1
++ clingo_solve_handle_cancel@Base 1
++ clingo_solve_handle_close@Base 1
++ clingo_solve_handle_get@Base 1
++ clingo_solve_handle_model@Base 1
++ clingo_solve_handle_resume@Base 1
++ clingo_solve_handle_wait@Base 1
++ clingo_statistics_array_at@Base 1
++ clingo_statistics_array_push@Base 5.3.0
++ clingo_statistics_array_size@Base 1
++ clingo_statistics_map_add_subkey@Base 5.3.0
++ clingo_statistics_map_at@Base 1
++ clingo_statistics_map_has_subkey@Base 5.3.0
++ clingo_statistics_map_size@Base 1
++ clingo_statistics_map_subkey_name@Base 1
++ clingo_statistics_root@Base 1
++ clingo_statistics_type@Base 1
++ clingo_statistics_value_get@Base 1
++ clingo_statistics_value_set@Base 5.3.0
++ clingo_symbol_arguments@Base 1
++ clingo_symbol_create_function@Base 1
++ clingo_symbol_create_id@Base 1
++ clingo_symbol_create_infimum@Base 1
++ clingo_symbol_create_number@Base 1
++ clingo_symbol_create_string@Base 1
++ clingo_symbol_create_supremum@Base 1
++ clingo_symbol_hash@Base 1
++ clingo_symbol_is_equal_to@Base 1
++ clingo_symbol_is_less_than@Base 1
++ clingo_symbol_is_negative@Base 1
++ clingo_symbol_is_positive@Base 1
++ clingo_symbol_name@Base 1
++ clingo_symbol_number@Base 1
++ clingo_symbol_string@Base 1
++ clingo_symbol_to_string@Base 1
++ clingo_symbol_to_string_size@Base 1
++ clingo_symbol_type@Base 1
++ clingo_symbolic_atoms_begin@Base 1
++ clingo_symbolic_atoms_end@Base 1
++ clingo_symbolic_atoms_find@Base 1
++ clingo_symbolic_atoms_is_external@Base 1
++ clingo_symbolic_atoms_is_fact@Base 1
++ clingo_symbolic_atoms_is_valid@Base 1
++ clingo_symbolic_atoms_iterator_is_equal_to@Base 1
++ clingo_symbolic_atoms_literal@Base 1
++ clingo_symbolic_atoms_next@Base 1
++ clingo_symbolic_atoms_signatures@Base 1
++ clingo_symbolic_atoms_signatures_size@Base 1
++ clingo_symbolic_atoms_size@Base 1
++ clingo_symbolic_atoms_symbol@Base 1
++ clingo_theory_atoms_atom_elements@Base 1
++ clingo_theory_atoms_atom_guard@Base 1
++ clingo_theory_atoms_atom_has_guard@Base 1
++ clingo_theory_atoms_atom_literal@Base 1
++ clingo_theory_atoms_atom_term@Base 1
++ clingo_theory_atoms_atom_to_string@Base 1
++ clingo_theory_atoms_atom_to_string_size@Base 1
++ clingo_theory_atoms_element_condition@Base 1
++ clingo_theory_atoms_element_condition_id@Base 1
++ clingo_theory_atoms_element_to_string@Base 1
++ clingo_theory_atoms_element_to_string_size@Base 1
++ clingo_theory_atoms_element_tuple@Base 1
++ clingo_theory_atoms_size@Base 1
++ clingo_theory_atoms_term_arguments@Base 1
++ clingo_theory_atoms_term_name@Base 1
++ clingo_theory_atoms_term_number@Base 1
++ clingo_theory_atoms_term_to_string@Base 1
++ clingo_theory_atoms_term_to_string_size@Base 1
++ clingo_theory_atoms_term_type@Base 1
++ clingo_version@Base 1
++ clingo_warning_string@Base 1
++ gringo_main_@Base 1
--- /dev/null
--- /dev/null
++Tests: gringo0, gringo1, gringo2, gringo3, gringo4, gringo5, gringo6, gringo7
++Depends: @
--- /dev/null
--- /dev/null
++#!/bin/bash
++# gringo: ground and exit in 0
++# Author: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++# Date: 2018-02-04
++
++set -o pipefail
++
++diff -y <(gringo <<<'a :- not b. b :- not a.') - <<EOF
++asp 1 0 0
++1 0 1 1 0 1 -2
++1 0 1 2 0 1 -1
++4 1 b 1 1
++4 1 a 1 2
++0
++EOF
++
++result=$?
++test $result -eq 0
--- /dev/null
--- /dev/null
++#!/bin/bash
++# gringo: ground and exit in 0
++# Author: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++# Date: 2018-02-04
++
++set -o pipefail
++
++diff -y <(gringo <<<'a|b:-not c. c|d:-not a.') - <<EOF
++asp 1 0 0
++1 0 2 1 2 0 1 -3
++1 0 2 4 3 0 1 -2
++4 1 c 1 2
++4 1 b 1 4
++4 1 a 1 3
++4 1 d 1 1
++0
++EOF
++
++result=$?
++test $result -eq 0
--- /dev/null
--- /dev/null
++#!/bin/bash
++# clingo: gbie1.lp unsat_01.lp is unsatisfiable
++# Author: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++# Date: 2018-02-04
++
++set -o pipefail
++
++clingo /usr/share/doc/gringo/examples/gringo/gbie/{gbie1.lp,instances/unsat_01.lp}
++
++result=$?
++test $result -eq 20
--- /dev/null
--- /dev/null
++#!/bin/bash
++# gringo+lpconvert: ground and exit in 0
++# Author: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++# Date: 2018-02-04
++
++set -o pipefail
++
++diff -y <(gringo <<<'a :- not b. b :- not a.' | lpconvert) - <<EOF
++1 2 1 1 3
++1 3 1 1 2
++0
++2 b
++3 a
++0
++B+
++0
++B-
++1
++0
++1
++EOF
++
++result=$?
++test $result -eq 0
--- /dev/null
--- /dev/null
++#!/bin/bash
++# gringo+reify: ground and exit in 0
++# Author: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++# Date: 2018-02-04
++
++set -o pipefail
++
++diff -y <(gringo <<<'a|b. a :- b. b :- a.' | reify | sort) - <<EOF
++atom_tuple(0).
++atom_tuple(0,1).
++atom_tuple(0,2).
++atom_tuple(1).
++atom_tuple(1,2).
++atom_tuple(2).
++atom_tuple(2,1).
++literal_tuple(0).
++literal_tuple(1).
++literal_tuple(1,1).
++literal_tuple(2).
++literal_tuple(2,2).
++output(a,2).
++output(b,1).
++rule(disjunction(0),normal(0)).
++rule(disjunction(1),normal(1)).
++rule(disjunction(2),normal(2)).
++EOF
++
++result=$?
++test $result -eq 0
--- /dev/null
--- /dev/null
++#!/bin/bash
++# clingo+lua: cannot example
++# Author: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++# Date: 2018-02-04
++
++set -o pipefail
++
++clingo /usr/share/doc/gringo/examples/clingo/cannot/{cannot-lua,example}.lp
++
++result=$?
++test $result -eq 30
--- /dev/null
--- /dev/null
++#!/bin/bash
++# clingo+py: cannot example
++# Author: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++# Date: 2018-02-04
++
++set -o pipefail
++
++clingo /usr/share/doc/gringo/examples/clingo/cannot/{cannot-py,example}.lp
++
++result=$?
++test $result -eq 30
--- /dev/null
--- /dev/null
++#!/bin/bash
++# clingo+py: solve-async example
++# Author: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
++# Date: 2018-02-04
++
++set -o pipefail
++
++clingo /usr/share/doc/gringo/examples/clingo/solve-async/{solve-async-py,program}.lp
++
++result=$?
++test $result -eq 20
--- /dev/null
--- /dev/null
++Bug-Database: https://github.com/potassco/clingo/issues
++Bug-Submit: https://github.com/potassco/clingo/issues/new
++Changelog: https://github.com/potassco/clingo/blob/master/CHANGES.md
++Contact: https://sourceforge.net/p/potassco/mailman/potassco-users/
++FAQ: https://potassco.org/doc/faq/
++Name: clingo
++Other-References: https://potassco.org/doc/
++Reference:
++ - Author: Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub
++ Title: Multi-shot ASP solving with clingo
++ Journal: Theory and Practice of Logic Programming
++ Year: 2018
++ Pages: 1–56
++ DOI: 10.1017/S1471068418000054
++ URL: https://arxiv.org/abs/1705.09811
++ - Author: Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub
++ Title: 'Clingo = ASP + Control: Preliminary Report'
++ Journal: CoRR
++ Year: 2014
++ Number: abs/1405.3694
++ Pages: 9
++ URL: https://arxiv.org/abs/1405.3694
++ - Author: Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Arne König and Torsten Schaub
++ Title: Advances in gringo Series 3
++ Booktitle: Logic Programming and Nonmonotonic Reasoning. International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)
++ Editor: James P. Delgrande and Wolfgang Faber
++ Year: 2011
++ Number: 6645
++ Pages: 345–351
++ Type: inproceedings
++ URL: https://arxiv.org/abs/1405.3694
++Repository: https://github.com/potassco/clingo.git
++Repository-Browse: https://github.com/potassco/clingo
--- /dev/null
--- /dev/null
++# watch control file for uscan
++
++# Compulsory line, this is a version 4 file
++version=4
++
++opts=filenamemangle=s/.+\/v(\d\.\d\.\d)\.tar\.gz/gringo-$1\.tar\.gz/ \
++ https://github.com/potassco/gringo/tags .*/v(\d\.\d\.\d)\.tar\.gz
projects / gringo.git / commitdiff