| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | test | Jeff Heiges | 3 months | |
| Age | Commit message | Author | ||
| 2025-03-14 | testHEADmaster | Jeff Heiges | ||
| 2025-03-08 | Added README.md | Jeff Heiges | ||
| 2025-03-06 | Added Cargo.lock | Jeff Heiges | ||
| 2025-03-01 | Added Cargo.toml | Jeff Heiges | ||
| 2025-02-28 | Outputs to 1 file instead of 2 | Jeff Heiges | ||
| 2025-02-28 | Remove unused code | Jeff Heiges | ||
| 2025-02-26 | Initial | Jeff Heiges | ||
| Clone | ||||
| https://git.jgh.xyz/CNF_Ramsey | ||||
 |
index : CNF_Ramsey | |
| Represent problems in Ramsey Theory as CNF statements. | Jeff Heiges |
| aboutsummaryrefslogtreecommitdiffhomepage |