| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2023-11-14 | Renamed tests, added tests for permsign | Sebastiano Tronto | 1 | -8/+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/+8 |
