missing libraries

Author: mahi045

.github/workflows/build.yml

@@ -18,7 +18,7 @@ jobs:
           submodules: recursive
 
       - name: Install libraries
-        run: sudo apt-get update && sudo apt-get install -y build-essential cmake bison re2c python3-pip
+        run: sudo apt-get update && sudo apt-get install -y build-essential cmake libgmp-dev libmpfr-dev libboost-all-dev python3-pip
 
       - name: Install gringo
         run: |