Skip to content

Prune the boolean search instead of walking the whole truth table - #864

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
fix/boolean-dpll
Aug 10, 2026
Merged

Prune the boolean search instead of walking the whole truth table#864
Rafael-SOWNet merged 1 commit into
masterfrom
fix/boolean-dpll

Prune the boolean search instead of walking the whole truth table

b9f5e53
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar