Commit Graph

3 Commits

Author SHA1 Message Date
Tiago 403eb112e8 cli: update versions, add total time and improve ui 2025-04-27 13:44:13 +01:00
Tiago b16e391751 fix 2025-04-22 19:25:11 +01:00
Tiago 7779209fdc add progress to solver and introduce solver cli 2025-04-22 19:19:24 +01:00