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.