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