CNF generation software
Sam Buss
StConn CNF generation (C++ software)
Sam Buss
"StConn: st-Connectivity Tautologies",
preprint, October 2023.
Download preprint version: that describes the StConn CNFs as implemented.
Based on the STCONN CNFs described in the paper Polynomial-size Frege and Resolution Proofs of st-Connectivity (S. Buss, Theoretical Computer Science, 2006).
Download StConn.cpp, a C++ program for generating StConn CNFs.
Download StConn_CNFs.zip, with several pre-generated instances of StConn.