Ramsey numbers for partially-ordered sets
SAT formulation for Boolean Ramsey numbers
br1-sat-files.zip contains SMT2 files for 1-uniform Boolean Ramsey numbers. Warning: Large! This 50MB .zip file unpacks to multiple GB.
br2-sat-files.zip contains SMT2 files for 2-uniform Boolean Ramsey numbers. Warning: Large! This 125MB .zip file unpacks to multiple GB.The SMT2 files can be run using Z3.