Updating README and github-action scripts

Author: marekpiotrow

.github/workflows/macos-build.yml

@@ -13,6 +13,13 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
+    - name: clone COMiniSatPS
+      run: |
+        cd ..
+        git clone https://github.com/marekpiotrow/cominisatps
+        cd cominisatps
+        rm core simp mtl utils
+        ln -s minisat/core minisat/simp minisat/mtl minisat/utils .
     - name: build CaDiCaL
       run: |
         cd ..

.github/workflows/msys2-build.yml

@@ -21,6 +21,13 @@ jobs:
         update: true
         install: git make patch unzip mingw-w64-ucrt-x86_64-toolchain mingw-w64-ucrt-x86_64-zlib mingw-w64-ucrt-x86_64-gmp
     - uses: actions/checkout@v4
+    - name: clone COMiniSatPS
+      run: |
+        cd ..
+        git clone https://github.com/marekpiotrow/cominisatps
+        cd cominisatps
+        rm core simp mtl utils
+        ln -s minisat/core minisat/simp minisat/mtl minisat/utils .
     - name: build CaDiCaL
       run: |
         cd ..

README.md

@@ -13,8 +13,13 @@ Since version 1.7.0 the default SAT solver is changed to CaDiCaL by Armin Biere.
 ================================================================================
 ### Quick Install
 
-1. clone the repository into uwrmaxsat:  
+1. clone the repositories into uwrmaxsat and cominisatps:  
     git clone https://github.com/marekpiotrow/UWrMaxSat uwrmaxsat  
+    git clone https://github.com/marekpiotrow/cominisatps  
+    cd cominisatps  
+    rm core simp mtl utils  
+    ln -s minisat/core minisat/simp minisat/mtl minisat/utils .  
+    cd ..  
 
 2. clone and build the CaDiCaL SAT solver by Armin Biere:  
     git clone https://github.com/arminbiere/cadical