From 84c931ad1780402dac0e4702d08f4c151ec14d38 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:49:01 +0200
Subject: [PATCH] feat: parallel web solving