| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-11-19 | merge mzuenni | Gloria Mundi |
| 2025-07-10 | run with sanitizer | mzuenni |
| 2025-06-08 | make SCC a struct, and minor 2SAT changes | Gloria Mundi |
| 2025-04-21 | use awk instead of macro hack | mzuenni |
| 2024-07-28 | Test (#4) | mzuenni |
