From 2c5eb94f88b95f45d1ce3ba52aa48cde68f9d148 Mon Sep 17 00:00:00 2001 From: Peter Michael Green Date: Thu, 14 Mar 2019 17:34:56 +0000 Subject: [PATCH] Import gringo_5.3.0-10+rpi1.debian.tar.xz [dgit import tarball gringo 5.3.0-10+rpi1 gringo_5.3.0-10+rpi1.debian.tar.xz] --- NEWS.Debian | 12 + TODO.Debian | 9 + changelog | 608 ++++++++++++++++++++++++++++ compat | 1 + control | 52 +++ copyright | 35 ++ docs | 2 + gbp.conf | 2 + gringo.links | 6 + gringo.manpages | 4 + install | 5 + patches/gringo-manpages.patch | 265 ++++++++++++ patches/gringo-python3-utf8.patch | 28 ++ patches/gringo-python37-async.patch | 235 +++++++++++ patches/series | 3 + rules | 84 ++++ source/format | 1 + symbols | 390 ++++++++++++++++++ tests/control | 2 + tests/gringo0 | 18 + tests/gringo1 | 20 + tests/gringo2 | 11 + tests/gringo3 | 24 ++ tests/gringo4 | 29 ++ tests/gringo5 | 11 + tests/gringo6 | 11 + tests/gringo7 | 11 + upstream/metadata | 33 ++ watch | 7 + 29 files changed, 1919 insertions(+) create mode 100644 NEWS.Debian create mode 100644 TODO.Debian create mode 100644 changelog create mode 100644 compat create mode 100644 control create mode 100644 copyright create mode 100644 docs create mode 100644 gbp.conf create mode 100644 gringo.links create mode 100644 gringo.manpages create mode 100644 install create mode 100644 patches/gringo-manpages.patch create mode 100644 patches/gringo-python3-utf8.patch create mode 100644 patches/gringo-python37-async.patch create mode 100644 patches/series create mode 100755 rules create mode 100644 source/format create mode 100644 symbols create mode 100644 tests/control create mode 100755 tests/gringo0 create mode 100755 tests/gringo1 create mode 100755 tests/gringo2 create mode 100755 tests/gringo3 create mode 100755 tests/gringo4 create mode 100755 tests/gringo5 create mode 100755 tests/gringo6 create mode 100755 tests/gringo7 create mode 100644 upstream/metadata create mode 100644 watch diff --git a/NEWS.Debian b/NEWS.Debian new file mode 100644 index 0000000..f10a4de --- /dev/null +++ b/NEWS.Debian @@ -0,0 +1,12 @@ +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 + + for a detailed description of the asp intermediate format. + + -- Thomas Krennwallner Sun, 11 Dec 2016 09:51:56 +0100 diff --git a/TODO.Debian b/TODO.Debian new file mode 100644 index 0000000..1475306 --- /dev/null +++ b/TODO.Debian @@ -0,0 +1,9 @@ +* 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 diff --git a/changelog b/changelog new file mode 100644 index 0000000..a3926c1 --- /dev/null +++ b/changelog @@ -0,0 +1,608 @@ +gringo (5.3.0-10+rpi1) buster-staging; urgency=medium + + * Use libatomic on armhf too. + * Update symbols for raspbian. + + -- Peter Michael Green 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 Sat, 02 Mar 2019 08:49:10 +0100 + +gringo (5.3.0-9) unstable; urgency=medium + + * Upload to unstable. + + -- Thomas Krennwallner Fri, 01 Mar 2019 06:27:37 +0100 + +gringo (5.3.0-8) experimental; urgency=medium + + * debian/symbols: fix symbols + + -- Thomas Krennwallner 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 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 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 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 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 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 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 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 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 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 Sun, 04 Nov 2018 08:34:30 +0100 + +gringo (5.2.3-2) unstable; urgency=medium + + * debian/symbols: batchpatch symbols + + -- Thomas Krennwallner 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 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 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 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 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 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 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 Fri, 10 Nov 2017 08:08:58 +0100 + +gringo (5.2.1-4) unstable; urgency=medium + + * debian/symbols: fix FTBFS on armel + + -- Thomas Krennwallner 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 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 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 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 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 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 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 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 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 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 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 Sun, 01 May 2016 08:47:29 +0200 + +gringo (4.5.4-1) unstable; urgency=medium + + * Imported Upstream version 4.5.4 + + -- Thomas Krennwallner Sat, 19 Dec 2015 14:07:05 +0100 + +gringo (4.5.3-1) unstable; urgency=medium + + * Imported Upstream version 4.5.3 + + -- Thomas Krennwallner 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 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 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 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 Thu, 12 Jun 2014 09:16:31 +0200 + +gringo (4.3.0-1) unstable; urgency=low + + * New upstream release. + + -- Thomas Krennwallner 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 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 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 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 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 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 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 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 Tue, 10 Apr 2012 16:48:52 +0200 + +gringo (3.0.4-1ubuntu1~oneiric1) oneiric; urgency=low + + * Upload to ppa:~tkren/asp. + + -- Thomas Krennwallner Fri, 27 Jan 2012 08:08:04 +0100 + +gringo (3.0.4-1) unstable; urgency=low + + * New upstream release. + + -- Thomas Krennwallner 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 ", 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 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 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 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 Tue, 22 Feb 2011 09:38:26 +0100 + +gringo (3.0.3-3) unstable; urgency=low + + * Initial upload (Closes: #605879) + + -- Thomas Krennwallner Sun, 05 Dec 2010 18:01:28 +0100 + +gringo (3.0.3-2) unstable; urgency=low + + * Upload to mentors.debian.net. + + -- Thomas Krennwallner 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 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 Sun, 10 Oct 2010 08:50:01 +0200 + +gringo (3.0.2-1) lucid; urgency=low + + * New upstream release. + + -- Thomas Krennwallner 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 Wed, 28 Jul 2010 06:15:10 +0200 + +gringo (3.0.1-1) lucid; urgency=low + + * New upstream release. + + -- Thomas Krennwallner 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 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 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 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 Fri, 28 May 2010 07:04:46 +0200 + +gringo (2.0.5-2) lucid; urgency=low + + * Moved to Ubuntu PPA. + + -- Thomas Krennwallner Wed, 26 May 2010 00:33:32 +0200 + +gringo (2.0.5-1) unstable; urgency=low + + * Initial release. + + -- Thomas Krennwallner Thu, 04 Mar 2010 19:47:14 +0100 diff --git a/compat b/compat new file mode 100644 index 0000000..b4de394 --- /dev/null +++ b/compat @@ -0,0 +1 @@ +11 diff --git a/control b/control new file mode 100644 index 0000000..87bcd1f --- /dev/null +++ b/control @@ -0,0 +1,52 @@ +Source: gringo +Section: interpreters +Priority: optional +Maintainer: Debian Science Maintainers +Uploaders: Thomas Krennwallner +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. diff --git a/copyright b/copyright new file mode 100644 index 0000000..9c6d2c6 --- /dev/null +++ b/copyright @@ -0,0 +1,35 @@ +Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: gringo +Upstream-Contact: Roland Kaminski +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. diff --git a/docs b/docs new file mode 100644 index 0000000..b9de7ba --- /dev/null +++ b/docs @@ -0,0 +1,2 @@ +README.md +examples diff --git a/gbp.conf b/gbp.conf new file mode 100644 index 0000000..cec628c --- /dev/null +++ b/gbp.conf @@ -0,0 +1,2 @@ +[DEFAULT] +pristine-tar = True diff --git a/gringo.links b/gringo.links new file mode 100644 index 0000000..d7d1e0a --- /dev/null +++ b/gringo.links @@ -0,0 +1,6 @@ +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 diff --git a/gringo.manpages b/gringo.manpages new file mode 100644 index 0000000..8d0e373 --- /dev/null +++ b/gringo.manpages @@ -0,0 +1,4 @@ +gringo.1 +clingo.1 +reify.1 +lpconvert.1 diff --git a/install b/install new file mode 100644 index 0000000..500d9ea --- /dev/null +++ b/install @@ -0,0 +1,5 @@ +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/ diff --git a/patches/gringo-manpages.patch b/patches/gringo-manpages.patch new file mode 100644 index 0000000..034401a --- /dev/null +++ b/patches/gringo-manpages.patch @@ -0,0 +1,265 @@ +From: Thomas Krennwallner +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 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\fP and ++.\" \fI\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 ++.PP ++This manual page was written by Thomas Krennwallner , ++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 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\fP and ++.\" \fI\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 ++.PP ++This manual page was written by Thomas Krennwallner , ++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 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\fP and ++.\" \fI\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 ++.PP ++This manual page was written by Thomas Krennwallner , ++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 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\fP and ++.\" \fI\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 ++.PP ++This manual page was written by Thomas Krennwallner , ++for the Debian project (and may be used by others). diff --git a/patches/gringo-python3-utf8.patch b/patches/gringo-python3-utf8.patch new file mode 100644 index 0000000..646c9ed --- /dev/null +++ b/patches/gringo-python3-utf8.patch @@ -0,0 +1,28 @@ +From: Thomas Krennwallner +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 \ diff --git a/patches/gringo-python37-async.patch b/patches/gringo-python37-async.patch new file mode 100644 index 0000000..dacea78 --- /dev/null +++ b/patches/gringo-python37-async.patch @@ -0,0 +1,235 @@ +From: Roland Kaminski +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 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()) diff --git a/patches/series b/patches/series new file mode 100644 index 0000000..9737b94 --- /dev/null +++ b/patches/series @@ -0,0 +1,3 @@ +gringo-manpages.patch +gringo-python3-utf8.patch +gringo-python37-async.patch diff --git a/rules b/rules new file mode 100755 index 0000000..90c564b --- /dev/null +++ b/rules @@ -0,0 +1,84 @@ +#!/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 diff --git a/source/format b/source/format new file mode 100644 index 0000000..163aaf8 --- /dev/null +++ b/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/symbols b/symbols new file mode 100644 index 0000000..20b016d --- /dev/null +++ b/symbols @@ -0,0 +1,390 @@ +# 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 diff --git a/tests/control b/tests/control new file mode 100644 index 0000000..dd164fd --- /dev/null +++ b/tests/control @@ -0,0 +1,2 @@ +Tests: gringo0, gringo1, gringo2, gringo3, gringo4, gringo5, gringo6, gringo7 +Depends: @ diff --git a/tests/gringo0 b/tests/gringo0 new file mode 100755 index 0000000..bc3875b --- /dev/null +++ b/tests/gringo0 @@ -0,0 +1,18 @@ +#!/bin/bash +# gringo: ground and exit in 0 +# Author: Thomas Krennwallner +# Date: 2018-02-04 + +set -o pipefail + +diff -y <(gringo <<<'a :- not b. b :- not a.') - < +# Date: 2018-02-04 + +set -o pipefail + +diff -y <(gringo <<<'a|b:-not c. c|d:-not a.') - < +# 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 diff --git a/tests/gringo3 b/tests/gringo3 new file mode 100755 index 0000000..6143a83 --- /dev/null +++ b/tests/gringo3 @@ -0,0 +1,24 @@ +#!/bin/bash +# gringo+lpconvert: ground and exit in 0 +# Author: Thomas Krennwallner +# Date: 2018-02-04 + +set -o pipefail + +diff -y <(gringo <<<'a :- not b. b :- not a.' | lpconvert) - < +# Date: 2018-02-04 + +set -o pipefail + +diff -y <(gringo <<<'a|b. a :- b. b :- a.' | reify | sort) - < +# Date: 2018-02-04 + +set -o pipefail + +clingo /usr/share/doc/gringo/examples/clingo/cannot/{cannot-lua,example}.lp + +result=$? +test $result -eq 30 diff --git a/tests/gringo6 b/tests/gringo6 new file mode 100755 index 0000000..cd9d5fd --- /dev/null +++ b/tests/gringo6 @@ -0,0 +1,11 @@ +#!/bin/bash +# clingo+py: cannot example +# Author: Thomas Krennwallner +# Date: 2018-02-04 + +set -o pipefail + +clingo /usr/share/doc/gringo/examples/clingo/cannot/{cannot-py,example}.lp + +result=$? +test $result -eq 30 diff --git a/tests/gringo7 b/tests/gringo7 new file mode 100755 index 0000000..78d0440 --- /dev/null +++ b/tests/gringo7 @@ -0,0 +1,11 @@ +#!/bin/bash +# clingo+py: solve-async example +# Author: Thomas Krennwallner +# 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 diff --git a/upstream/metadata b/upstream/metadata new file mode 100644 index 0000000..bed9b23 --- /dev/null +++ b/upstream/metadata @@ -0,0 +1,33 @@ +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 diff --git a/watch b/watch new file mode 100644 index 0000000..74d1f5a --- /dev/null +++ b/watch @@ -0,0 +1,7 @@ +# 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 -- 2.30.2