Ramsey numbers for partially-ordered sets
SAT formulation for Boolean Ramsey numbers
bramsey-smt2.sws is a Sage worksheet that generates SMT2 files for the satisfiability problem concerning 2-color 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.