Add := operator for Boolean satisfiability problems#3530

Merged

odow merged 8 commits intomasterfrom od/def-equal

Oct 15, 2023

+130-6

Commits on Sep 28, 2023

Commits on Oct 11, 2023

Replace with dispatch
odow
committed

Commits on Oct 12, 2023

Commits on Oct 13, 2023

Apply suggestions from code review
odow
authored