| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix alignment | Sebastiano Tronto | 2025-12-17 | 2 | -0/+21 |
| * | Remove TODO section in doc | Sebastiano Tronto | 2025-12-17 | 1 | -17/+0 |
| * | Cleanup, update documentation, fix examples | Sebastiano Tronto | 2025-12-14 | 2 | -78/+53 |
| * | Updated h48 doc with recent improvements | Sebastiano Tronto | 2025-11-25 | 1 | -5/+22 |
| * | Added solver documentation | Sebastiano Tronto | 2025-08-08 | 1 | -0/+146 |
| * | Added notes on possible performance improvements for H48 | Sebastiano Tronto | 2025-08-07 | 1 | -0/+20 |
| * | Trick fix | Sebastiano Tronto | 2025-06-18 | 1 | -6/+9 |
| * | Update H48 doc | Sebastiano Tronto | 2025-06-18 | 1 | -15/+35 |
| * | Added documentation about symmetry issues with pruning tables | Sebastiano Tronto | 2025-06-13 | 2 | -3/+95 |
| * | 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 |
