gringo and clasp

Author: mahi045

.github/workflows/build.yml

@@ -18,11 +18,10 @@ jobs:
           submodules: recursive
 
       - name: Install libraries
-        run: sudo apt-get update && sudo apt-get install -y build-essential cmake libgmp-dev libmpfr-dev libboost-all-dev python3-pip
+        run: sudo apt-get update && sudo apt-get install -y build-essential cmake libgmp-dev libmpfr-dev libboost-all-dev gringo clasp python3-pip
 
       - name: Install gringo
         run: |
-          python3 -m pip install --user --upgrade clingo
           pip install networkx
 
       - name: Download normalization