perf: reintroduce binary encoding of forbid clauses#91

Merged

baszalmstra merged 5 commits intoprefix-dev:mainfrom baszalmstra:refactor/variable_map

Jan 2, 2025

+1,335-809

Commits on Dec 31, 2024

Commits on Jan 1, 2025

Merge branch 'main' into refactor/variable_map
baszalmstra
authored

Commits on Jan 2, 2025