| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2024-07-08 | Stats for h48 solver as tool | Sebastiano Tronto | 5 | -82/+0 |
| 2024-06-30 | Added a solver, but found out h48 table is broken | Sebastiano Tronto | 2 | -2/+2 |
| 2024-06-17 | Use callback function to log to stderr | Sebastiano Tronto | 1 | -2/+1 |
| 2024-05-27 | Some type fixes and some cleanup | Sebastiano Tronto | 5 | -0/+83 |
