MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs (ArXiv cs.LO Recent Papers, 2026)