| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |