wip

2026-04-28 11:23:31 +02:00 · 2026-04-28 11:23:31 +02:00 · 0478744a71
commit 0478744a71
parent 2d4caefd26
12 changed files with 568 additions and 384 deletions
--- a/mago.toml
+++ b/mago.toml
@ -67,6 +67,7 @@ threads     = 0
    disjunction-complexity-threshold = 8192
    formula-size-threshold           = 1024
    integer-combination-threshold    = 256
+    loop-assignment-depth-threshold  = 2
    negation-complexity-threshold    = 8192
    saturation-complexity-threshold  = 16384
    string-combination-threshold     = 256