Control: tags 963054 + pending
Control: tags 1015422 + patch
Control: tags 1015422 + pending
Control: tags 1017161 + patch
Control: tags 1017161 + pending
Control: tags 1023682 + patch
Control: tags 1023682 + pending
Dear maintainer,
I've prepared an NMU for gringo (versioned as 5.4.1-3.1) and uploaded
it to DELAYED/15. Please feel free to tell me if I should cancel it.
cu
Adrian
diff -Nru gringo-5.4.1/debian/changelog gringo-5.4.1/debian/changelog
--- gringo-5.4.1/debian/changelog 2020-12-28 14:50:01.000000000 +0200
+++ gringo-5.4.1/debian/changelog 2022-11-19 12:33:48.000000000 +0200
@@ -1,3 +1,14 @@
+gringo (5.4.1-3.1) unstable; urgency=low
+
+ * Non-maintainer upload.
+ * Build using the default gcc. (Closes: #1023682)
+ * Add patch from Lukas Märdian to use the system catch/catch2.
+ (Closes: #1017161)
+ * Fix the testsuite for Python no longer supporting 'rU' in open().
+ * Remove the symbols file. (Closes: #963054, #1015422)
+
+ -- Adrian Bunk <b...@debian.org> Sat, 19 Nov 2022 12:33:48 +0200
+
gringo (5.4.1-3) unstable; urgency=medium
* debian/symbols: fix symbols for g++-10 >= 10.2.1
diff -Nru gringo-5.4.1/debian/control gringo-5.4.1/debian/control
--- gringo-5.4.1/debian/control 2020-12-27 16:51:06.000000000 +0200
+++ gringo-5.4.1/debian/control 2022-11-19 12:33:48.000000000 +0200
@@ -6,8 +6,9 @@
Build-Depends: debhelper-compat (= 13),
dpkg-dev (>= 1.16.1~),
pkg-kde-tools,
- g++-10 (>= 10.2.1),
cmake (>= 3.1.0),
+ catch,
+ catch2,
re2c,
bison,
liblua5.4-dev,
diff -Nru gringo-5.4.1/debian/patches/series gringo-5.4.1/debian/patches/series
--- gringo-5.4.1/debian/patches/series 2020-12-27 16:57:28.000000000 +0200
+++ gringo-5.4.1/debian/patches/series 2022-11-19 12:33:48.000000000 +0200
@@ -2,3 +2,5 @@
gringo-python3-utf8.patch
link-libatomic-check.patch
bump-version-5.4.1.patch
+use-system-catch-for-glibc-2.34-compat.patch
+testsuite-python-open-rU.patch
diff -Nru gringo-5.4.1/debian/patches/testsuite-python-open-rU.patch gringo-5.4.1/debian/patches/testsuite-python-open-rU.patch
--- gringo-5.4.1/debian/patches/testsuite-python-open-rU.patch 1970-01-01 02:00:00.000000000 +0200
+++ gringo-5.4.1/debian/patches/testsuite-python-open-rU.patch 2022-11-19 12:33:48.000000000 +0200
@@ -0,0 +1,39 @@
+Description: Fix the testsuite for Python no longer supporting 'rU' in open()
+Author: Adrian Bunk <b...@debian.org>
+
+--- gringo-5.4.1.orig/app/clingo/tests/run.py
++++ gringo-5.4.1/app/clingo/tests/run.py
+@@ -115,7 +115,7 @@ if parse_ret.action == "normalize":
+ args = [clingo, "0", parse_ret.file, "-Wnone"]
+ b = os.path.splitext(parse_ret.file)[0]
+ if os.path.exists(b + ".cmd"):
+- with open(b + ".cmd", 'rU') as cmd_file:
++ with open(b + ".cmd", 'r') as cmd_file:
+ for x in cmd_file:
+ args.extend(x.strip().split())
+ args.extend(extra_argv)
+@@ -134,7 +134,7 @@ if parse_ret.action == "run":
+ for f in sorted(files):
+ if f.endswith(".lp"):
+ b = os.path.join(root, f[:-3])
+- with open(b + ".lp", 'rU', encoding='utf-8') as inst_file:
++ with open(b + ".lp", 'r', encoding='utf-8') as inst_file:
+ inst = inst_file.read()
+ if (not with_python and re.search(r"#script[ ]*\(python\)", inst)) or \
+ (not with_lua and re.search(r"#script[ ]*\(lua\)", inst)) or \
+@@ -147,13 +147,13 @@ if parse_ret.action == "run":
+
+ args = [clingo, "0", b + ".lp", "-Wnone"]
+ if os.path.exists(b + ".cmd"):
+- with open(b + ".cmd", 'rU') as cmd_file:
++ with open(b + ".cmd", 'r') as cmd_file:
+ for x in cmd_file:
+ args.extend(x.strip().split())
+ args.extend(extra_argv)
+ out, err = sp.Popen(args, stderr=sp.PIPE, stdout=sp.PIPE, universal_newlines=True).communicate()
+ norm = normalize(out)
+- with open(b + ".sol", 'rU') as sol_file:
++ with open(b + ".sol", 'r') as sol_file:
+ sol = reorder(sol_file.read())
+ if norm != sol:
+ failed+= 1
diff -Nru gringo-5.4.1/debian/patches/use-system-catch-for-glibc-2.34-compat.patch gringo-5.4.1/debian/patches/use-system-catch-for-glibc-2.34-compat.patch
--- gringo-5.4.1/debian/patches/use-system-catch-for-glibc-2.34-compat.patch 1970-01-01 02:00:00.000000000 +0200
+++ gringo-5.4.1/debian/patches/use-system-catch-for-glibc-2.34-compat.patch 2022-11-19 12:33:48.000000000 +0200
@@ -0,0 +1,348 @@
+Description: Fix 'catch' & 'catch2' compatibility with glibc-2.34
+ The gringo package contains several embedded copies of the 'catch' (CTest)
+ library. All of those copies are outdated and incompatible with glibc-2.34.
+ This patch updates the test sources to use the system provided versions of
+ 'catch' and 'catch2' instead, to fix this issue.
+ C.f.: https://github.com/catchorg/Catch2/issues/2178
+Author: Lukas Märdian <sl...@ubuntu.com>
+Origin: vendor, Ubuntu
+Bug: https://github.com/potassco/libpotassco/issues/12 (only catch1 part)
+Last-Update: 2022-01-18
+---
+This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
+--- gringo-5.4.1.orig/clasp/libpotassco/tests/main.cpp
++++ gringo-5.4.1/clasp/libpotassco/tests/main.cpp
+@@ -16,4 +16,4 @@ int enableDebugHeap() {
+ static int eh = enableDebugHeap();
+ #endif
+ #define CATCH_CONFIG_MAIN // This tells Catch to provide a main() - only do this in one cpp file
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+--- gringo-5.4.1.orig/clasp/libpotassco/tests/test_application.cpp
++++ gringo-5.4.1/clasp/libpotassco/tests/test_application.cpp
+@@ -18,7 +18,7 @@
+ // 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.
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ #include <potassco/application.h>
+ #include <potassco/program_opts/typed_value.h>
+ #include <signal.h>
+--- gringo-5.4.1.orig/clasp/libpotassco/tests/test_aspif.cpp
++++ gringo-5.4.1/clasp/libpotassco/tests/test_aspif.cpp
+@@ -24,7 +24,7 @@
+ #ifdef _MSC_VER
+ #pragma warning (disable : 4996)
+ #endif
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ #include "test_common.h"
+ #include <potassco/aspif.h>
+ #include <potassco/rule_utils.h>
+--- gringo-5.4.1.orig/clasp/libpotassco/tests/test_options.cpp
++++ gringo-5.4.1/clasp/libpotassco/tests/test_options.cpp
+@@ -18,7 +18,7 @@
+ // 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.
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ #include <potassco/program_opts/program_options.h>
+ #include <potassco/program_opts/typed_value.h>
+ #include <potassco/program_opts/errors.h>
+--- gringo-5.4.1.orig/clasp/libpotassco/tests/test_smodels.cpp
++++ gringo-5.4.1/clasp/libpotassco/tests/test_smodels.cpp
+@@ -22,7 +22,7 @@
+ // IN THE SOFTWARE.
+ //
+
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ #include "test_common.h"
+ #include <potassco/convert.h>
+ #include <sstream>
+--- gringo-5.4.1.orig/clasp/libpotassco/tests/test_string_convert.cpp
++++ gringo-5.4.1/clasp/libpotassco/tests/test_string_convert.cpp
+@@ -18,7 +18,7 @@
+ // 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.
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ #include <potassco/string_convert.h>
+ #include <string>
+ #include <vector>
+--- gringo-5.4.1.orig/clasp/libpotassco/tests/test_text.cpp
++++ gringo-5.4.1/clasp/libpotassco/tests/test_text.cpp
+@@ -22,7 +22,7 @@
+ // IN THE SOFTWARE.
+ //
+
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ #include "test_common.h"
+ #include <potassco/aspif_text.h>
+ #include <potassco/aspif.h>
+--- gringo-5.4.1.orig/clasp/libpotassco/tests/test_value.cpp
++++ gringo-5.4.1/clasp/libpotassco/tests/test_value.cpp
+@@ -18,7 +18,7 @@
+ // 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.
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ #include <potassco/program_opts/value_store.h>
+ #include <potassco/program_opts/mapped_value.h>
+ #include <potassco/program_opts/typed_value.h>
+--- gringo-5.4.1.orig/clasp/tests/clause_creator_test.cpp
++++ gringo-5.4.1/clasp/tests/clause_creator_test.cpp
+@@ -24,7 +24,7 @@
+ #include <clasp/clause.h>
+ #include <clasp/solver.h>
+ #include <algorithm>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ namespace Clasp { namespace Test {
+ using namespace Clasp::mt;
+
+--- gringo-5.4.1.orig/clasp/tests/clause_test.cpp
++++ gringo-5.4.1/clasp/tests/clause_test.cpp
+@@ -24,7 +24,7 @@
+ #include <clasp/clause.h>
+ #include <clasp/solver.h>
+ #include <algorithm>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ #ifdef _MSC_VER
+ #pragma warning (disable : 4267) // conversion from 'size_t' to unsigned int
+ #pragma once
+--- gringo-5.4.1.orig/clasp/tests/cli_test.cpp
++++ gringo-5.4.1/clasp/tests/cli_test.cpp
+@@ -26,7 +26,7 @@
+ #include <clasp/unfounded_check.h>
+ #include <clasp/logic_program.h>
+ #include <fstream>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ namespace Clasp {
+ static bool operator==(const ScheduleStrategy& lhs, const ScheduleStrategy& rhs) {
+ return lhs.type == rhs.type && lhs.base == rhs.base && lhs.len == rhs.len && lhs.grow == rhs.grow;
+--- gringo-5.4.1.orig/clasp/tests/decision_heuristic_test.cpp
++++ gringo-5.4.1/clasp/tests/decision_heuristic_test.cpp
+@@ -27,7 +27,7 @@
+ #include <clasp/clause.h>
+ #include <clasp/solver.h>
+ #include "lpcompare.h"
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ namespace Clasp { namespace Test {
+ using namespace Clasp::Asp;
+ /////////////////////////////////////////////////////////////////////////////////////////
+--- gringo-5.4.1.orig/clasp/tests/dependency_graph_test.cpp
++++ gringo-5.4.1/clasp/tests/dependency_graph_test.cpp
+@@ -24,7 +24,7 @@
+ #include <clasp/dependency_graph.h>
+ #include <clasp/solver.h>
+ #include "lpcompare.h"
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ namespace Clasp { namespace Test {
+ using namespace Clasp::Asp;
+
+--- gringo-5.4.1.orig/clasp/tests/dlp_builder_test.cpp
++++ gringo-5.4.1/clasp/tests/dlp_builder_test.cpp
+@@ -26,7 +26,7 @@
+ #include <clasp/unfounded_check.h>
+ #include "lpcompare.h"
+ #include <sstream>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ using namespace std;
+ namespace Clasp { namespace Test {
+ using namespace Clasp::Asp;
+--- gringo-5.4.1.orig/clasp/tests/enumerator_test.cpp
++++ gringo-5.4.1/clasp/tests/enumerator_test.cpp
+@@ -28,7 +28,7 @@
+ #include <clasp/model_enumerators.h>
+ #include "lpcompare.h"
+ #include <sstream>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ using namespace std;
+ namespace Clasp { namespace Test {
+ using namespace Clasp::Asp;
+--- gringo-5.4.1.orig/clasp/tests/facade_test.cpp
++++ gringo-5.4.1/clasp/tests/facade_test.cpp
+@@ -35,7 +35,7 @@
+ #endif
+ #include "lpcompare.h"
+ #include <signal.h>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ namespace Clasp { namespace Test {
+ using namespace Clasp::mt;
+
+--- gringo-5.4.1.orig/clasp/tests/literal_test.cpp
++++ gringo-5.4.1/clasp/tests/literal_test.cpp
+@@ -22,7 +22,7 @@
+ // IN THE SOFTWARE.
+ //
+ #include <clasp/solver_types.h>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ namespace Clasp { namespace Test {
+
+ static bool testBin(const Literal& p) {
+--- gringo-5.4.1.orig/clasp/tests/minimize_test.cpp
++++ gringo-5.4.1/clasp/tests/minimize_test.cpp
+@@ -28,7 +28,7 @@
+ #include <clasp/solver.h>
+ #include <clasp/solve_algorithms.h>
+ #include <algorithm>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ namespace Clasp { namespace Test {
+ namespace {
+ struct BranchAndBoundTest {
+--- gringo-5.4.1.orig/clasp/tests/parser_test.cpp
++++ gringo-5.4.1/clasp/tests/parser_test.cpp
+@@ -29,7 +29,7 @@
+ #include <potassco/smodels.h>
+ #include <potassco/string_convert.h>
+ #include "lpcompare.h"
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ namespace Clasp { namespace Test {
+
+ template <class Api>
+--- gringo-5.4.1.orig/clasp/tests/program_builder_test.cpp
++++ gringo-5.4.1/clasp/tests/program_builder_test.cpp
+@@ -27,7 +27,7 @@
+ #include <clasp/unfounded_check.h>
+ #include <clasp/minimize_constraint.h>
+ #include "lpcompare.h"
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ using namespace std;
+ namespace Clasp { namespace Test {
+ using namespace Clasp::Asp;
+--- gringo-5.4.1.orig/clasp/tests/rule_test.cpp
++++ gringo-5.4.1/clasp/tests/rule_test.cpp
+@@ -27,7 +27,7 @@
+ #include <clasp/solver.h>
+ #include "lpcompare.h"
+ #include <utility>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ namespace Potassco {
+ static bool operator==(const LitSpan& lhs, const LitSpan& rhs) {
+ return lhs.size == rhs.size && std::equal(begin(lhs), end(lhs), begin(rhs));
+--- gringo-5.4.1.orig/clasp/tests/satelite_test.cpp
++++ gringo-5.4.1/clasp/tests/satelite_test.cpp
+@@ -27,7 +27,7 @@
+ #include <clasp/clause.h>
+ #include <clasp/parser.h>
+ #include <algorithm>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ #ifdef _MSC_VER
+ #pragma warning (disable : 4267) // conversion from 'size_t' to unsigned int
+ #pragma once
+--- gringo-5.4.1.orig/clasp/tests/solver_test.cpp
++++ gringo-5.4.1/clasp/tests/solver_test.cpp
+@@ -25,7 +25,7 @@
+ #include <clasp/clause.h>
+ #include <clasp/statistics.h>
+ #include <clasp/weight_constraint.h>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ namespace Clasp { namespace Test {
+ using namespace Clasp::mt;
+ struct TestingConstraint : public Constraint {
+--- gringo-5.4.1.orig/clasp/tests/test_main.cpp
++++ gringo-5.4.1/clasp/tests/test_main.cpp
+@@ -22,7 +22,7 @@
+ // IN THE SOFTWARE.
+ //
+ #define CATCH_CONFIG_RUNNER
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ #if defined (_MSC_VER) && _MSC_VER >= 1200
+ #include <crtdbg.h>
+ #endif
+--- gringo-5.4.1.orig/clasp/tests/unfounded_check_test.cpp
++++ gringo-5.4.1/clasp/tests/unfounded_check_test.cpp
+@@ -26,7 +26,7 @@
+ #include <clasp/clause.h>
+ #include "lpcompare.h"
+ #include <memory>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ namespace Clasp { namespace Test {
+ using namespace Clasp::Asp;
+
+--- gringo-5.4.1.orig/clasp/tests/weight_constraint_test.cpp
++++ gringo-5.4.1/clasp/tests/weight_constraint_test.cpp
+@@ -24,7 +24,7 @@
+ #include <clasp/weight_constraint.h>
+ #include <clasp/solver.h>
+ #include <algorithm>
+-#include "catch.hpp"
++#include <catch/catch.hpp>
+ using namespace std;
+
+ namespace Clasp { namespace Test {
+--- gringo-5.4.1.orig/libclingo/tests/main.cc
++++ gringo-5.4.1/libclingo/tests/main.cc
+@@ -23,4 +23,4 @@
+ // }}}
+
+ #define CATCH_CONFIG_MAIN
+-#include "catch.hpp"
++#include <catch2/catch.hpp>
+--- gringo-5.4.1.orig/libclingo/tests/tests.hh
++++ gringo-5.4.1/libclingo/tests/tests.hh
+@@ -23,7 +23,7 @@
+ // }}}
+
+ #include "clingo.hh"
+-#include "catch.hpp"
++#include <catch2/catch.hpp>
+
+ namespace Clingo { namespace Test {
+
+--- gringo-5.4.1.orig/libgringo/tests/main.cc
++++ gringo-5.4.1/libgringo/tests/main.cc
+@@ -22,4 +22,4 @@
+
+ // }}}
+ #define CATCH_CONFIG_MAIN
+-#include "catch.hpp"
++#include <catch2/catch.hpp>
+--- gringo-5.4.1.orig/libgringo/tests/tests.hh
++++ gringo-5.4.1/libgringo/tests/tests.hh
+@@ -25,7 +25,7 @@
+ #ifndef _GRINGO_TEST_TESTS_HH
+ #define _GRINGO_TEST_TESTS_HH
+
+-#include "catch.hpp"
++#include <catch2/catch.hpp>
+ #include "gringo/utility.hh"
+ #include "gringo/logger.hh"
+ #include "gringo/base.hh"
+--- gringo-5.4.1.orig/libreify/tests/main.cc
++++ gringo-5.4.1/libreify/tests/main.cc
+@@ -1,2 +1,2 @@
+ #define CATCH_CONFIG_MAIN
+-#include "catch.hpp"
++#include <catch2/catch.hpp>
+
+--- gringo-5.4.1.orig/libreify/tests/program.cc
++++ gringo-5.4.1/libreify/tests/program.cc
+@@ -1,4 +1,4 @@
+-#include "catch.hpp"
++#include <catch2/catch.hpp>
+ #include <potassco/aspif_text.h>
+ #include <reify/program.hh>
+
diff -Nru gringo-5.4.1/debian/rules gringo-5.4.1/debian/rules
--- gringo-5.4.1/debian/rules 2020-12-27 16:51:06.000000000 +0200
+++ gringo-5.4.1/debian/rules 2022-11-19 12:33:48.000000000 +0200
@@ -24,9 +24,6 @@
DPKG_EXPORT_BUILDFLAGS = 1
include /usr/share/dpkg/buildflags.mk
-# force g++-10
-export CXX = g++-10
-export CC = gcc-10
# inject CPPFLAGS to CXXFLAGS
CXXFLAGS += $(CPPFLAGS)
diff -Nru gringo-5.4.1/debian/symbols gringo-5.4.1/debian/symbols
--- gringo-5.4.1/debian/symbols 2020-12-28 14:43:54.000000000 +0200
+++ gringo-5.4.1/debian/symbols 1970-01-01 02:00:00.000000000 +0200
@@ -1,356 +0,0 @@
-# SymbolsHelper-Confirmed: 5.4.1-2 amd64 arm64 armel armhf hppa i386 m68k mips64el mipsel ppc64 ppc64el riscv64 s390x sh4 x32
-libclingo.so.3 gringo #MINVER#
- (optional=templinst)_ZNKSt5ctypeIcE8do_widenEc@Base 5.4.0
- (optional=templinst)_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE4findERKS5_@Base 5.4.0
- (optional=templinst)_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 5.4.0
- (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_traitsILb1ELb0ELb1EEEE9_M_rehashE{size_t}RK{size_t}@Base 5.4.0
- (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 5.4.0
- (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_traitsILb0ELb0ELb1EEEE9_M_rehashE{size_t}RK{size_t}@Base 5.4.0
- (optional=templinst|arch=!amd64 !arm64 !mips64el !ppc64 !ppc64el !riscv64 !s390x)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEjRS1_@Base 5.4.0-1
- (optional=templinst|arch=amd64 arm64 mips64el ppc64 ppc64el riscv64 s390x)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEmRKm@Base 5.4.0
- (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 5.4.0
-#MISSING: 5.4.1~# (optional=templinst|subst)_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 5.4.0
-#MISSING: 5.4.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 5.4.0
-#MISSING: 5.4.1~# (optional=templinst|arch=!arm64 !hurd-i386 !i386 !ppc64el !riscv64 !sh4)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE5clearEv@Base 5.4.0
- (optional=templinst|arch=!amd64 !arm64 !mips64el !ppc64 !ppc64el !riscv64 !s390x)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE9_M_rehashEjRS1_@Base 5.4.1-1
- (optional=templinst|arch=amd64 arm64 mips64el ppc64 ppc64el riscv64 s390x)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE9_M_rehashEmRKm@Base 5.4.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 5.4.0
- (optional=templinst)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEED2Ev@Base 5.4.0
- (optional=templinst|arch=!amd64 !arm64 !mips64el !ppc64 !ppc64el !riscv64 !s390x)_ZNSt10_HashtableIjjSaIjENSt8__detail9_IdentityESt8equal_toIjESt4hashIjENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE9_M_rehashEjRKj@Base 5.4.0-1
- (optional=templinst|arch=amd64 arm64 mips64el ppc64 ppc64el riscv64 s390x)_ZNSt10_HashtableIjjSaIjENSt8__detail9_IdentityESt8equal_toIjESt4hashIjENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE9_M_rehashEmRKm@Base 5.4.0
- (optional=templinst|arch=amd64 arm64 mips64el ppc64 ppc64el riscv64 s390x)_ZNSt10_HashtableImmSaImENSt8__detail9_IdentityESt8equal_toImESt4hashImENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE9_M_rehashEmRKm@Base 5.4.0
- (optional=templinst|arch=!amd64 !arm64 !mips64el !ppc64 !ppc64el !riscv64 !s390x)_ZNSt10_HashtableIyySaIyENSt8__detail9_IdentityESt8equal_toIyESt4hashIyENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE9_M_rehashEjRKj@Base 5.4.0-1
-#MISSING: 5.4.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 5.4.0
- (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 5.4.0
- (optional=templinst)_ZNSt11unique_lockISt5mutexE6unlockEv@Base 5.4.1~
-#MISSING: 5.4.1~# (optional=templinst)_ZNSt14_Function_base13_Base_managerISt5_BindIFMN5Clasp3Cli12ClaspAppBaseEFbRNS2_11ClaspFacadeEEPN6Gringo9ClingoAppESt12_PlaceholderILi1EEEEE10_M_managerERSt9_Any_dataRKSH_St18_Manager_operation@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst)_ZNSt14_Function_base13_Base_managerISt5_BindIFMN5Clasp3Cli12ClaspAppBaseEFbRNS2_14ProgramBuilderEEPN6Gringo9ClingoAppESt12_PlaceholderILi1EEEEE10_M_managerERSt9_Any_dataRKSH_St18_Manager_operation@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst)_ZNSt14_Function_base13_Base_managerISt5_BindIFMN6Gringo10IClingoAppEFvNS2_8WarningsEPKcEPS3_St12_PlaceholderILi1EESA_ILi2EEEEE10_M_managerERSt9_Any_dataRKSG_St18_Manager_operation@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst)_ZNSt14_Function_base13_Base_managerIZNK6Gringo11ClingoModel5atomsEjEUljE_E10_M_managerERSt9_Any_dataRKS5_St18_Manager_operation@Base 5.4.0
- (optional=templinst)_ZNSt15__exception_ptr12__dest_thunkISt13runtime_errorEEvPv@Base 5.4.0
- (optional=templinst|arch=armel riscv64)_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE10_M_releaseEv@Base 5.4.0-1
- (optional=templinst|arch=!armel !riscv64)_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE10_M_releaseEv@Base 5.4.0
- (optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo5Input10CheckLevelEES6_EET0_T_S9_S8_@Base 5.4.0
- (optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo5Input7CSPElemEES6_EET0_T_S9_S8_@Base 5.4.0
- (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE10_M_destroyEv@Base 5.4.0-1
- (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE10_M_disposeEv@Base 5.4.0-1
- (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE14_M_get_deleterERKSt9type_info@Base 5.4.0-1
- (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED0Ev@Base 5.4.0-1
- (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED1Ev@Base 5.4.0-1
- (optional=templinst|arch=armel riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED2Ev@Base 5.4.0-1
- (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE10_M_destroyEv@Base 5.4.0
- (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE10_M_disposeEv@Base 5.4.0
- (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE14_M_get_deleterERKSt9type_info@Base 5.4.0
- (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED0Ev@Base 5.4.0
- (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED1Ev@Base 5.4.0
- (optional=templinst|arch=!armel !riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED2Ev@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst)_ZNSt3_V28__rotateIPjEET_S2_S2_S2_St26random_access_iterator_tag@Base 5.4.0
- (optional=templinst)_ZNSt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_ED1Ev@Base 5.4.0
- (optional=templinst)_ZNSt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_ED2Ev@Base 5.4.0
- (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEE6_M_runEv@Base 5.4.0
- (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEED0Ev@Base 5.4.0
- (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEED1Ev@Base 5.4.0
- (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEED2Ev@Base 5.4.0
- (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEE6_M_runEv@Base 5.4.0
- (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEED0Ev@Base 5.4.0
- (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEED1Ev@Base 5.4.0
- (optional=templinst)_ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEED2Ev@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input10TermVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input11BdLitVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input11BoundVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input13CSPAddTermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input13CSPElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input13CSPMulTermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input13CondLitVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input13TermVecVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input13TheoryAtomUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input13TheoryTermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input14TheoryOpDefUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input14TheoryOpVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input15TheoryDefVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input15TheoryOptermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input16BdAggrElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input16HdAggrElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input16TheoryAtomDefUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input16TheoryElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input16TheoryTermDefUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input17TheoryOpDefVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input18TheoryOptermVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input6LitUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input7TermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input8HdLitUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input8IdVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input9CSPLitUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIN6Gringo5Input9LitVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0
- (optional=templinst|subst)_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_default_appendE{size_t}@Base 5.4.0
- (optional=templinst)_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_realloc_insertIJRKS5_EEEvN9__gnu_cxx17__normal_iteratorIPS5_S7_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_realloc_insertIJS5_EEEvN9__gnu_cxx17__normal_iteratorIPS5_S7_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED1Ev@Base 5.4.0
- (optional=templinst)_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED2Ev@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIPKcSaIS1_EE17_M_realloc_insertIJRKS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIPKcSaIS1_EE17_M_realloc_insertIJS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIPcSaIS0_EE17_M_realloc_insertIJS0_EEEvN9__gnu_cxx17__normal_iteratorIPS0_S2_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIPvSaIS0_EE12emplace_backIJS0_EEEvDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIPvSaIS0_EE17_M_realloc_insertIJS0_EEEvN9__gnu_cxx17__normal_iteratorIPS0_S2_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIS_IPKcSaIS1_EESaIS3_EE17_M_realloc_insertIJEEEvN9__gnu_cxx17__normal_iteratorIPS3_S5_EEDpOT_@Base 5.4.0
-#MISSING: 5.4.1~# _ZNSt6vectorISt10unique_ptrIA_cSt14default_deleteIS1_EESaIS4_EE17_M_realloc_insertIJDnEEEvN9__gnu_cxx17__normal_iteratorIPS4_S6_EEDpOT_@Base 5.4.0
- _ZNSt6vectorISt10unique_ptrIA_cSt14default_deleteIS1_EESaIS4_EE17_M_realloc_insertIJPcEEEvN9__gnu_cxx17__normal_iteratorIPS4_S6_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorISt4pairIPKciESaIS3_EE17_M_realloc_insertIJS3_EEEvN9__gnu_cxx17__normal_iteratorIPS3_S5_EEDpOT_@Base 5.4.0
- (optional=templinst|arch=!amd64 !arm64 !x32)_ZNSt6vectorISt4pairIS0_IjjEjESaIS2_EE17_M_realloc_insertIJS1_RjEEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_@Base 5.4.0-1
-#MISSING: 5.4.1~# (optional=templinst|arch=!hppa !mips64el !riscv64)_ZNSt6vectorISt4pairIiiESaIS1_EE17_M_realloc_insertIJRKiS6_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst|arch=!hppa !mips64el !riscv64)_ZNSt6vectorISt4pairIiiESaIS1_EE17_M_realloc_insertIJiiEEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorISt4pairIijESaIS1_EE12emplace_backIJRS1_EEEvDpOT_@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst|arch=!hppa !mips64el !riscv64)_ZNSt6vectorISt4pairIijESaIS1_EE17_M_realloc_insertIJRiiEEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst|arch=!hppa !mips64el !riscv64)_ZNSt6vectorISt4pairIijESaIS1_EE17_M_realloc_insertIJRijEEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorISt4pairIjjESaIS1_EE12emplace_backIJRjjEEEvDpOT_@Base 5.4.0-1
- (optional=templinst)_ZNSt6vectorISt4pairIjjESaIS1_EE12emplace_backIJS1_EEEvDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorISt4pairIjjESaIS1_EE17_M_realloc_insertIJRjjEEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorISt4pairIjjESaIS1_EE17_M_realloc_insertIJS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base 5.4.0
- (optional=templinst|arch=!amd64 !arm64 !mips64el !ppc64 !ppc64el !riscv64 !s390x)_ZNSt6vectorIbSaIbEE13_M_insert_auxESt13_Bit_iteratorb@Base 5.4.1-1
- (optional=templinst|subst)_ZNSt6vectorIbSaIbEE14_M_fill_insertESt13_Bit_iterator{size_t}b@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIcSaIcEE12emplace_backIJcEEEvDpOT_@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst)_ZNSt6vectorIcSaIcEE15_M_range_insertIN9__gnu_cxx17__normal_iteratorIPKcNSt7__cxx1112basic_stringIcSt11char_traitsIcES0_EEEEEEvNS4_IPcS1_EET_SF_St20forward_iterator_tag@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst)_ZNSt6vectorIcSaIcEE15_M_range_insertIPKcEEvN9__gnu_cxx17__normal_iteratorIPcS1_EET_S9_St20forward_iterator_tag@Base 5.4.0
- (optional=templinst|subst)_ZNSt6vectorIcSaIcEE17_M_default_appendE{size_t}@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst|subst)_ZNSt6vectorIcSaIcEE7reserveE{size_t}@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIiSaIiEE17_M_realloc_insertIJiEEEvN9__gnu_cxx17__normal_iteratorIPiS1_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIjSaIjEE12emplace_backIJRjEEEvDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIjSaIjEE12emplace_backIJjEEEvDpOT_@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst)_ZNSt6vectorIjSaIjEE15_M_range_insertIN9__gnu_cxx17__normal_iteratorIPjS1_EEEEvS6_T_S7_St20forward_iterator_tag@Base 5.4.0
- (optional=templinst|subst)_ZNSt6vectorIjSaIjEE17_M_default_appendE{size_t}@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRKjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRN6Gringo6Output22BodyAggregateElements_12ClauseOffsetEEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJiEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base 5.4.0
- (optional=templinst)_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEED0Ev@Base 5.4.0
- (optional=templinst)_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEED1Ev@Base 5.4.0
- (optional=templinst)_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEED2Ev@Base 5.4.0
- (optional=templinst)_ZNSt7__cxx114listIjSaIjEE4sortIN5Clasp9ClaspVmtf9LessLevelEEEvT_@Base 5.4.0
- (optional=templinst|arch=!mips64el !ppc64 !ppc64el !riscv64 !s390x)_ZNSt7__cxx114listIjSaIjEE5mergeIN5Clasp9ClaspVmtf9LessLevelEEEvOS2_T_@Base 5.4.0
- (optional=templinst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE16_M_insert_uniqueIRKS5_EESt4pairISt17_Rb_tree_iteratorIS5_EbEOT_@Base 5.4.0
- (optional=templinst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE24_M_get_insert_unique_posERKS5_@Base 5.4.0
-#MISSING: 5.4.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 5.4.0
-#MISSING: 5.4.1~# (optional=templinst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE8_M_eraseEPSt13_Rb_tree_nodeIS5_E@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EEaSERKSB_@Base 5.4.0
- (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 5.4.0
-#MISSING: 5.4.1~# (optional=templinst|subst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_{size_t}ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE8_M_eraseEPSt13_Rb_tree_nodeIS8_E@Base 5.4.0
- (optional=templinst|arch=!m68k)_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE16_M_insert_uniqueIiEESt4pairISt17_Rb_tree_iteratorIiEbEOT_@Base 5.4.0-1
- (optional=templinst)_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE17_M_emplace_uniqueIJiEEESt4pairISt17_Rb_tree_iteratorIiEbEDpOT_@Base 5.4.0
-#MISSING: 5.4.1~# (optional=templinst)_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE8_M_eraseEPSt13_Rb_tree_nodeIiE@Base 5.4.0
- (optional=templinst|arch=!armel !armhf !i386 !m68k !mipsel !powerpc)_ZNSt8functionIFbjEEC1ERKS1_@Base 5.4.0
- (optional=templinst|arch=!armel !armhf !i386 !m68k !mipsel !powerpc)_ZNSt8functionIFbjEEC2ERKS1_@Base 5.4.0
- (optional=templinst|subst)_ZSt17__rotate_adaptiveIPjS0_{ssize_t}ET_S1_S1_S1_T1_S2_T0_S2_@Base 5.4.0
- (arch=armel riscv64)_ZTIN9__gnu_cxx7__mutexE@Base 5.4.0-1
- _ZTINSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base 5.4.0
- _ZTINSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base 5.4.0
- (arch=armel riscv64)_ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 5.4.0-1
- (arch=!armel !riscv64)_ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 5.4.0-1
- (arch=armel riscv64)_ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 5.4.0-1
- (arch=!armel !riscv64)_ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 5.4.0-1
- (arch=armel armhf)_ZTISt19_Sp_make_shared_tag@Base 5.4.0-1
- (arch=armel riscv64)_ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base 5.4.0-1
- (arch=!armel !riscv64)_ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 5.4.0-1
- (arch=armel riscv64)_ZTSN9__gnu_cxx7__mutexE@Base 5.4.0-1
- _ZTSNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base 5.4.0
- _ZTSNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base 5.4.0
- (arch=armel riscv64)_ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 5.4.0-1
- (arch=!armel !riscv64)_ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 5.4.0-1
- (arch=armel riscv64)_ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 5.4.0-1
- (arch=!armel !riscv64)_ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 5.4.0-1
- _ZTSSt19_Sp_make_shared_tag@Base 5.4.0
- (arch=armel riscv64)_ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base 5.4.0-1
- (arch=!armel !riscv64)_ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 5.4.0-1
- _ZTVNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base 5.4.0
- _ZTVNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base 5.4.0
- (arch=armel riscv64)_ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base 5.4.0-1
- (arch=!armel !riscv64)_ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 5.4.0-1
- _ZZNSt19_Sp_make_shared_tag5_S_tiEvE5__tag@Base 5.4.0
- (optional=templinst)_ZZNSt8__detail18__to_chars_10_implIjEEvPcjT_E8__digits@Base 5.4.1~
- (optional=templinst|arch=amd64 arm64 mips64el ppc64 ppc64el riscv64 s390x)_ZZNSt8__detail18__to_chars_10_implImEEvPcjT_E8__digits@Base 5.4.1~
- clingo_add_string@Base 5.4.0
- clingo_assignment_decision@Base 5.4.0
- clingo_assignment_decision_level@Base 5.4.0
- clingo_assignment_has_conflict@Base 5.4.0
- clingo_assignment_has_literal@Base 5.4.0
- clingo_assignment_is_false@Base 5.4.0
- clingo_assignment_is_fixed@Base 5.4.0
- clingo_assignment_is_total@Base 5.4.0
- clingo_assignment_is_true@Base 5.4.0
- clingo_assignment_level@Base 5.4.0
- clingo_assignment_max_size@Base 5.4.0
- clingo_assignment_root_level@Base 5.4.0
- clingo_assignment_size@Base 5.4.0
- clingo_assignment_truth_value@Base 5.4.0
- clingo_backend_acyc_edge@Base 5.4.0
- clingo_backend_add_atom@Base 5.4.0
- clingo_backend_assume@Base 5.4.0
- clingo_backend_begin@Base 5.4.0
- clingo_backend_end@Base 5.4.0
- clingo_backend_external@Base 5.4.0
- clingo_backend_heuristic@Base 5.4.0
- clingo_backend_minimize@Base 5.4.0
- clingo_backend_project@Base 5.4.0
- clingo_backend_rule@Base 5.4.0
- clingo_backend_weight_rule@Base 5.4.0
- clingo_configuration_array_at@Base 5.4.0
- clingo_configuration_array_size@Base 5.4.0
- clingo_configuration_description@Base 5.4.0
- clingo_configuration_map_at@Base 5.4.0
- clingo_configuration_map_has_subkey@Base 5.4.0
- clingo_configuration_map_size@Base 5.4.0
- clingo_configuration_map_subkey_name@Base 5.4.0
- clingo_configuration_root@Base 5.4.0
- clingo_configuration_type@Base 5.4.0
- clingo_configuration_value_get@Base 5.4.0
- clingo_configuration_value_get_size@Base 5.4.0
- clingo_configuration_value_is_assigned@Base 5.4.0
- clingo_configuration_value_set@Base 5.4.0
- clingo_control_add@Base 5.4.0
- clingo_control_assign_external@Base 5.4.0
- clingo_control_backend@Base 5.4.0
- clingo_control_clasp_facade@Base 5.4.0
- clingo_control_cleanup@Base 5.4.0
- clingo_control_configuration@Base 5.4.0
- clingo_control_free@Base 5.4.0
- clingo_control_get_const@Base 5.4.0
- clingo_control_ground@Base 5.4.0
- clingo_control_has_const@Base 5.4.0
- clingo_control_interrupt@Base 5.4.0
- clingo_control_is_conflicting@Base 5.4.0
- clingo_control_load@Base 5.4.0
- clingo_control_new@Base 5.4.0
- clingo_control_program_builder@Base 5.4.0
- clingo_control_register_observer@Base 5.4.0
- clingo_control_register_propagator@Base 5.4.0
- clingo_control_release_external@Base 5.4.0
- clingo_control_solve@Base 5.4.0
- clingo_control_statistics@Base 5.4.0
- clingo_control_symbolic_atoms@Base 5.4.0
- clingo_control_theory_atoms@Base 5.4.0
- clingo_control_use_enumeration_assumption@Base 5.4.0
- clingo_error_code@Base 5.4.0
- clingo_error_message@Base 5.4.0
- clingo_error_string@Base 5.4.0
- clingo_main@Base 5.4.0
- clingo_main_@Base 5.4.0
- clingo_model_contains@Base 5.4.0
- clingo_model_context@Base 5.4.0
- clingo_model_cost@Base 5.4.0
- clingo_model_cost_size@Base 5.4.0
- clingo_model_extend@Base 5.4.0
- clingo_model_is_true@Base 5.4.0
- clingo_model_number@Base 5.4.0
- clingo_model_optimality_proven@Base 5.4.0
- clingo_model_symbols@Base 5.4.0
- clingo_model_symbols_size@Base 5.4.0
- clingo_model_thread_id@Base 5.4.0
- clingo_model_type@Base 5.4.0
- clingo_options_add@Base 5.4.0
- clingo_options_add_flag@Base 5.4.0
- clingo_parse_program@Base 5.4.0
- clingo_parse_term@Base 5.4.0
- clingo_program_builder_add@Base 5.4.0
- clingo_program_builder_begin@Base 5.4.0
- clingo_program_builder_end@Base 5.4.0
- clingo_propagate_control_add_clause@Base 5.4.0
- clingo_propagate_control_add_literal@Base 5.4.0
- clingo_propagate_control_add_watch@Base 5.4.0
- clingo_propagate_control_assignment@Base 5.4.0
- clingo_propagate_control_has_watch@Base 5.4.0
- clingo_propagate_control_propagate@Base 5.4.0
- clingo_propagate_control_remove_watch@Base 5.4.0
- clingo_propagate_control_thread_id@Base 5.4.0
- clingo_propagate_init_add_clause@Base 5.4.0
- clingo_propagate_init_add_watch@Base 5.4.0
- clingo_propagate_init_add_watch_to_thread@Base 5.4.0
- clingo_propagate_init_assignment@Base 5.4.0
- clingo_propagate_init_get_check_mode@Base 5.4.0
- clingo_propagate_init_number_of_threads@Base 5.4.0
- clingo_propagate_init_set_check_mode@Base 5.4.0
- clingo_propagate_init_solver_literal@Base 5.4.0
- clingo_propagate_init_symbolic_atoms@Base 5.4.0
- clingo_propagate_init_theory_atoms@Base 5.4.0
- clingo_register_script_@Base 5.4.0
- clingo_script_version_@Base 5.4.0
- clingo_set_error@Base 5.4.0
- clingo_signature_arity@Base 5.4.0
- clingo_signature_create@Base 5.4.0
- clingo_signature_hash@Base 5.4.0
- clingo_signature_is_equal_to@Base 5.4.0
- clingo_signature_is_less_than@Base 5.4.0
- clingo_signature_is_negative@Base 5.4.0
- clingo_signature_is_positive@Base 5.4.0
- clingo_signature_name@Base 5.4.0
- clingo_solve_control_add_clause@Base 5.4.0
- clingo_solve_control_symbolic_atoms@Base 5.4.0
- clingo_solve_handle_cancel@Base 5.4.0
- clingo_solve_handle_close@Base 5.4.0
- clingo_solve_handle_get@Base 5.4.0
- clingo_solve_handle_model@Base 5.4.0
- clingo_solve_handle_resume@Base 5.4.0
- clingo_solve_handle_wait@Base 5.4.0
- clingo_statistics_array_at@Base 5.4.0
- clingo_statistics_array_push@Base 5.4.0
- clingo_statistics_array_size@Base 5.4.0
- clingo_statistics_map_add_subkey@Base 5.4.0
- clingo_statistics_map_at@Base 5.4.0
- clingo_statistics_map_has_subkey@Base 5.4.0
- clingo_statistics_map_size@Base 5.4.0
- clingo_statistics_map_subkey_name@Base 5.4.0
- clingo_statistics_root@Base 5.4.0
- clingo_statistics_type@Base 5.4.0
- clingo_statistics_value_get@Base 5.4.0
- clingo_statistics_value_set@Base 5.4.0
- clingo_symbol_arguments@Base 5.4.0
- clingo_symbol_create_function@Base 5.4.0
- clingo_symbol_create_id@Base 5.4.0
- clingo_symbol_create_infimum@Base 5.4.0
- clingo_symbol_create_number@Base 5.4.0
- clingo_symbol_create_string@Base 5.4.0
- clingo_symbol_create_supremum@Base 5.4.0
- clingo_symbol_hash@Base 5.4.0
- clingo_symbol_is_equal_to@Base 5.4.0
- clingo_symbol_is_less_than@Base 5.4.0
- clingo_symbol_is_negative@Base 5.4.0
- clingo_symbol_is_positive@Base 5.4.0
- clingo_symbol_name@Base 5.4.0
- clingo_symbol_number@Base 5.4.0
- clingo_symbol_string@Base 5.4.0
- clingo_symbol_to_string@Base 5.4.0
- clingo_symbol_to_string_size@Base 5.4.0
- clingo_symbol_type@Base 5.4.0
- clingo_symbolic_atoms_begin@Base 5.4.0
- clingo_symbolic_atoms_end@Base 5.4.0
- clingo_symbolic_atoms_find@Base 5.4.0
- clingo_symbolic_atoms_is_external@Base 5.4.0
- clingo_symbolic_atoms_is_fact@Base 5.4.0
- clingo_symbolic_atoms_is_valid@Base 5.4.0
- clingo_symbolic_atoms_iterator_is_equal_to@Base 5.4.0
- clingo_symbolic_atoms_literal@Base 5.4.0
- clingo_symbolic_atoms_next@Base 5.4.0
- clingo_symbolic_atoms_signatures@Base 5.4.0
- clingo_symbolic_atoms_signatures_size@Base 5.4.0
- clingo_symbolic_atoms_size@Base 5.4.0
- clingo_symbolic_atoms_symbol@Base 5.4.0
- clingo_theory_atoms_atom_elements@Base 5.4.0
- clingo_theory_atoms_atom_guard@Base 5.4.0
- clingo_theory_atoms_atom_has_guard@Base 5.4.0
- clingo_theory_atoms_atom_literal@Base 5.4.0
- clingo_theory_atoms_atom_term@Base 5.4.0
- clingo_theory_atoms_atom_to_string@Base 5.4.0
- clingo_theory_atoms_atom_to_string_size@Base 5.4.0
- clingo_theory_atoms_element_condition@Base 5.4.0
- clingo_theory_atoms_element_condition_id@Base 5.4.0
- clingo_theory_atoms_element_to_string@Base 5.4.0
- clingo_theory_atoms_element_to_string_size@Base 5.4.0
- clingo_theory_atoms_element_tuple@Base 5.4.0
- clingo_theory_atoms_size@Base 5.4.0
- clingo_theory_atoms_term_arguments@Base 5.4.0
- clingo_theory_atoms_term_name@Base 5.4.0
- clingo_theory_atoms_term_number@Base 5.4.0
- clingo_theory_atoms_term_to_string@Base 5.4.0
- clingo_theory_atoms_term_to_string_size@Base 5.4.0
- clingo_theory_atoms_term_type@Base 5.4.0
- clingo_version@Base 5.4.0
- clingo_warning_string@Base 5.4.0
- gringo_main_@Base 5.4.0
