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