Skip to content

Let the boolean table solver be cancelled - #870

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

Let the boolean table solver be cancelled#870
Rafael-SOWNet merged 1 commit into
masterfrom
fix/boolean-table-cancellation

Let the boolean table solver be cancelled

65d3f96
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar