perf: visit less clauses during propagation#66
Merged
wolfv merged 10 commits intomamba-org:mainfrom baszalmstra:performance/only_add_forbidden_for_visisted_solvablesSep 30, 2024
+648-622
Commits
Commits on Sep 26, 2024
Commits on Sep 27, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
