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