prepare release for clingo-5.7.1

.gitmodules

@@ -1,25 +0,0 @@
-[submodule "clasp"]
-	path = clasp
-	url = https://github.com/potassco/clasp.git
-	branch = dev
-[submodule "third_party/catch"]
-	path = third_party/catch
-	url = ../../catchorg/Catch2.git
-[submodule "third_party/ordered-map"]
-	path = third_party/ordered-map
-	url = ../../Tessil/ordered-map.git
-[submodule "third_party/hopscotch-map"]
-	path = third_party/hopscotch-map
-	url = ../../Tessil/hopscotch-map.git
-[submodule "third_party/sparse-map"]
-	path = third_party/sparse-map
-	url = ../../Tessil/sparse-map.git
-[submodule "third_party/optional"]
-	path = third_party/optional
-	url = ../../TartanLlama/optional.git
-[submodule "third_party/variant"]
-	path = third_party/variant
-	url = ../../mpark/variant.git
-[submodule "third_party/wide-integer"]
-	path = third_party/wide-integer
-	url = ../../ckormanyos/wide-integer.git

clasp/.github/workflows/test.yml

@@ -0,0 +1,62 @@
+name: CI tests
+
+on:
+  - push
+  - pull_request
+
+jobs:
+  build:
+    name: clasp tests on ${{ matrix.os }}
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        os: ['ubuntu-latest', 'macos-latest', 'windows-latest']
+        include:
+          - os: 'ubuntu-latest'
+            generator: 'Ninja'
+            build_type: 'Debug'
+          - os: 'macos-latest'
+            generator: 'Ninja'
+            build_type: 'Debug'
+          - os: 'windows-latest'
+            generator: 'Visual Studio 17 2022'
+            build_type: 'Debug'
+
+    steps:
+    - uses: actions/checkout@v2
+      with:
+        submodules: recursive
+
+    - name: setup (ubuntu)
+      if: ${{ matrix.os == 'ubuntu-latest' }}
+      run:
+        sudo apt install ninja-build
+
+    - name: setup (macos)
+      if: ${{ matrix.os == 'macos-latest' }}
+      run: |
+        brew update
+        brew install ninja
+
+    - name: Configure
+      run: >
+        cmake
+        -G "${{ matrix.generator }}"
+        -B "${{github.workspace}}/build"
+        -DCMAKE_BUILD_TYPE="${{matrix.build_type}}"
+        -DCLASP_BUILD_TESTS="On"
+        -DLIB_POTASSCO_BUILD_TESTS="On"
+        -DCMAKE_CXX_STANDARD="14"
+
+    - name: Build
+      run: >
+        cmake
+        --build "${{github.workspace}}/build"
+        --config "${{matrix.build_type}}"
+
+    - name: Test
+      working-directory: ${{github.workspace}}/build
+      run: >
+        ctest
+        -C "${{matrix.build_type}}"

clasp/.gitignore

@@ -0,0 +1,4 @@
+*.swp
+build*
+.vscode*
+CMakeLists.txt.user

clasp/.travis.yml

@@ -0,0 +1,63 @@
+sudo: false
+language: cpp
+matrix:
+  include:
+    - os: linux
+      compiler: gcc
+      addons:
+        apt:
+          sources:
+            - ubuntu-toolchain-r-test
+            - george-edison55-precise-backports
+          packages:
+            - g++-4.9
+            - cmake
+            - cmake-data
+      env:
+        - COMPILER='g++-4.9'
+    - os: linux
+      compiler: gcc
+      addons:
+        apt:
+          sources:
+            - ubuntu-toolchain-r-test
+            - george-edison55-precise-backports
+          packages:
+            - g++-5
+            - cmake
+            - cmake-data
+      env:
+        - COMPILER='g++-5'
+    - os: linux
+      compiler: gcc
+      addons:
+        apt:
+          sources:
+            - ubuntu-toolchain-r-test
+            - george-edison55-precise-backports
+          packages:
+            - g++-8
+            - cmake
+            - cmake-data
+      env:
+        - COMPILER='g++-8'
+    - os: osx
+      osx_image: xcode8
+      env:
+        - COMPILER='clang++'
+
+install:
+  - export CMAKE=cmake  
+  - export CXX=$COMPILER
+  - $CMAKE --version
+  - $CXX --version
+script:
+  - mkdir $CXX-mt && cd $CXX-mt
+  - $CMAKE -DCMAKE_CXX_COMPILER=$CXX -DCLASP_BUILD_TESTS=ON -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_FLAGS="-Wall -Wextra" ../
+  - make -j3 && make test CTEST_OUTPUT_ON_FAILURE=1
+  - cd ../
+  - mkdir $CXX-st && cd $CXX-st
+  - $CMAKE -DCMAKE_CXX_COMPILER=$CXX -DCLASP_BUILD_TESTS=ON -DCLASP_BUILD_WITH_THREADS=OFF -DCMAKE_CXX_FLAGS="-Wall -Wextra" ../
+  - make -j3 && make test CTEST_OUTPUT_ON_FAILURE=1
+  - cd ../
+