Skip to content

Allow restricting positive literals in formula besides percentTrueEntries#353

Open
JNAOB wants to merge 6 commits intofmidue:masterfrom
JNAOB:percentPosLiterals
Open

Allow restricting positive literals in formula besides percentTrueEntries#353
JNAOB wants to merge 6 commits intofmidue:masterfrom
JNAOB:percentPosLiterals

Commits

Commits on Feb 28, 2026

Commits on Mar 1, 2026