A SAT + CAS Verifier for Combinatorial Conjectures