| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added dev documentation | Sebastiano Tronto | 2025-05-30 | 1 | -0/+14 |
| * | Merge the "solver-experiments" branch that I have been working on for | Sebastiano Tronto | 2024-12-07 | 2 | -5/+29 |
| * | Add transformations.md | Sebastiano Tronto | 2024-10-04 | 1 | -0/+9 |
| * | Updated h48 doc | Sebastiano Tronto | 2024-10-01 | 1 | -22/+81 |
| * | Added h48 solver description - work in progress | Sebastiano Tronto | 2024-08-23 | 1 | -0/+330 |
| * | Reorganized documentation | Sebastiano Tronto | 2023-10-31 | 3 | -84/+0 |
| * | Small change of plans, moved stuff around | Sebastiano Tronto | 2023-10-22 | 3 | -0/+84 |
