python cpp palindrome combinatorics cnf sat-solver cnf-clauses schur ramsey-theory pysat cadical schur-numbers
-
Updated
Aug 24, 2026 - Python