From 531ac5af2269ea1d36a57d104b6cbce602425acd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20R=C3=B6ger?= <jonas.roeger@tu-dortmund.de>
Date: Fri, 28 Aug 2026 18:41:27 +0200
Subject: [PATCH] feat: parallel web solving