Skip to content

Solve reads a membership, and no longer answers the empty set for a statement it cannot read - #1440

Merged
Rafael-SOWNet merged 2 commits into
masterfrom
membership-solved
Sep 21, 2026
Merged

Rafael-SOWNet merged 2 commits into
masterfrom
membership-solved

Commits

Commits on Sep 21, 2026