| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-03-09 | shorten 2sat | Yidi |
| 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 |