Simplification Copyright (c) 2025 TU Eindhoven Licensed under the GPLv3.0 license. See LICENSE for details.