Add release tag workflow

Signed-off-by: Paul Wagner <paultristanwagner@gmail.com>

Author: paultristanwagner

.github/workflows/maven.yml

@@ -11,16 +11,24 @@ on:
 
 jobs:
   build:
-
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v2
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
       - name: Set up JDK 16
-        uses: actions/setup-java@v2
+        uses: actions/setup-java@v4
         with:
           java-version: '16'
           distribution: 'adopt'
           cache: maven
+
       - name: Build with Maven
         run: mvn -B package --file pom.xml
+
+      - name: Upload artifact
+        uses: actions/upload-artifact@v4
+        with:
+          name: satchecking
+          path: target/satchecking-1.0-SNAPSHOT.jar

.github/workflows/release_tag.yml

@@ -0,0 +1,34 @@
+name: Release Tag
+
+on:
+  push:
+    tags:
+      - v*
+
+permissions:
+  contents: write
+
+jobs:
+  build:
+    uses: ./.github/workflows/maven.yml
+  release-tag:
+    name: Release Tag
+    needs: build
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Download artifact
+        uses: actions/download-artifact@v4
+        with:
+          name: satchecking
+      - name: Rename artifact
+        env:
+          tag: ${{ github.ref_name }}
+        run: mv satchecking-*.jar satchecking-v${tag#v}.jar
+      - name: Create release
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          tag: ${{ github.ref_name }}
+        run: |
+          gh release create "$tag" satchecking-v${tag#v}.jar \
+              --repo="$GITHUB_REPOSITORY" \
+              --title="v${tag#v}"

README.md

@@ -5,15 +5,12 @@ The techniques used here are introduced in the RWTH University
 lecture '[Satisfiability checking](https://ths.rwth-aachen.de/teaching/winter-term-2021-2022/lecture-satisfiability-checking/)'
 by Prof. Dr. Erika Ábrahám.
 
-# How to build and run the project
-Clone the git repository:  
-`git clone https://github.com/paultristanwagner/satisfiability-checking.git`  
-Navigate into the created directory:  
-`cd satisfiability-checking`  
-Let Maven build the project:  
-`mvn package`  
-Run the project:  
-`java -jar target/satchecking-1.0-SNAPSHOT.jar`  
+# How to run the project
+Under [Releases](https://github.com/paultristanwagner/satisfiability-checking/releases) you can find the latest version of the project.
+Download the jar file and run it with the following command: <br>
+```
+java -jar satchecking-v1.0.0.jar
+```
 Now you should see the command prompt indicated by a `>` symbol.
 
 # SMT solver
@@ -172,3 +169,14 @@ UNSAT! (feasible, but unbounded)
 Solution: x=-1/2;
 Time: 0ms
 ```
+
+## Optional: Build the project from source
+Clone the git repository:  
+`git clone https://github.com/paultristanwagner/satisfiability-checking.git`  
+Navigate into the created directory:  
+`cd satisfiability-checking`  
+Let Maven build the project:  
+`mvn package`  
+Run the project:  
+`java -jar target/satchecking-1.0-SNAPSHOT.jar`  
+Now you should see the command prompt indicated by a `>` symbol.