Ramsey numbers for partially-ordered sets

bramsey-smt2.sws is a \(link(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 \(link(z3)\)