Repository navigation

Fix #1203: [Rule] ConjunctiveQueryFoldability to Satisfiability - #1241

Open

isPANN wants to merge 1 commit into

mainfrom

ar/issue-1203-cqf-sat

Open

Fix #1203: [Rule] ConjunctiveQueryFoldability to Satisfiability#1241
isPANN wants to merge 1 commit into
mainfrom
ar/issue-1203-cqf-sat

Commits on Nov 4, 2026
- Fix #1203: [Rule] ConjunctiveQueryFoldability to Satisfiability
  
  isPANN
  and
  claude
  committed
  9b80a63