| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2024-06-23 | Cleanup | Sebastiano Tronto | 1 | -4/+0 |
| 2023-11-14 | Added tests allowednext | Sebastiano Tronto | 1 | -0/+0 |
| 2023-11-14 | Renamed tests, added tests for permsign | Sebastiano Tronto | 1 | -0/+0 |
| 2023-11-13 | Tidy up; made things testable | Sebastiano Tronto | 1 | -0/+0 |
| 2023-11-12 | Simple solver: added tests, fixed | Sebastiano Tronto | 1 | -0/+4 |
