PR for making it work with synthesis-based arjun

.github/workflows/build.yml

@@ -1,6 +1,8 @@
 name: build
 
 on:
+  push:
+    branches: [ "master" ]
   pull_request:
     branches: [ "*" ]
 
@@ -39,7 +41,7 @@ jobs:
     - name: Install zlib for Mac dynamic
       if: contains(matrix.os, 'macos') && matrix.staticcompile == 'OFF'
       run: |
-        wget https://www.zlib.net/zlib-1.3.1.tar.gz
+        wget https://zlib.net/fossils/zlib-1.3.1.tar.gz
         tar xzvf zlib-1.3.1.tar.gz
         cd zlib-1.3.1
         ./configure
@@ -50,7 +52,7 @@ jobs:
     - name: Install zlib for Mac static
       if: contains(matrix.os, 'macos') && matrix.staticcompile == 'ON'
       run: |
-        wget https://www.zlib.net/zlib-1.3.1.tar.gz
+        wget https://zlib.net/fossils/zlib-1.3.1.tar.gz
         tar xzvf zlib-1.3.1.tar.gz
         cd zlib-1.3.1
         ./configure --static
@@ -130,7 +132,7 @@ jobs:
       uses: actions/checkout@v4
       with:
         repository: msoos/cryptominisat
-        ref: master
+        ref: working-on-synth
         path: cryptominisat
         submodules: 'true'
     - name: Build CMS
@@ -222,11 +224,27 @@ jobs:
         sudo make install
         cd ../..
 
+    - name: Checkout treedecomp
+      uses: actions/checkout@v4
+      with:
+        repository: meelgroup/treedecomp
+        ref: main
+        path: treedecomp
+    - name: Build treedecomp
+      run: |
+        cd treedecomp
+        mkdir build
+        cd build
+        cmake -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DSTATICCOMPILE=${{ matrix.staticcompile }} ..
+        cmake --build . --config ${{matrix.build_type}} -v
+        sudo cmake --install . --config ${{matrix.build_type}} -v
+        cd ../..
+
     - name: Checkout arjun
       uses: actions/checkout@v4
       with:
         repository: meelgroup/arjun
-        ref: master
+        ref: aig-shared-ptr-better-fix
         path: arjun
     - name: Build arjun
       run: |

.github/workflows/nix.yml

@@ -2,7 +2,7 @@ name: nix build
 
 on:
   push:
-    branches: [ "*" ]
+    branches: [ "master" ]
   pull_request:
     branches: [ "*" ]
 

.gitignore

@@ -11,3 +11,4 @@ compare
 /result
 html/*.js
 html/*.wasm
+.claude