| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-08-29 | consistency | mzuenni | |
| 2023-02-13 | squezed in new code :D | MZuenni | |
| 2022-06-27 | updated tcr | mzuenni | |
| 2017-07-20 | Removing unnecessary implication in OR-case | Paul Jungeblut | |
| 2017-03-21 | Adding shortcut to NAND clause in 2-SAT code. | Paul Jungeblut | |
| 2016-12-14 | Adding 2-SAT code. | Paul Jungeblut | |
 |
index : tcr | |
| Team Contest Reference |
| summaryrefslogtreecommitdiff |