| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Use macro for [static N] | Sebastiano Tronto | 2026-04-04 | 1 | -10/+10 |
| * | Fix duplicate solutions, overflow in maxsols and improve symmetry reduction f... | Sebastiano Tronto | 2025-11-24 | 1 | -4/+5 |
| * | Added DRFIN solver | Sebastiano Tronto | 2025-08-05 | 1 | -0/+298 |
