4 Commits

Author	SHA1	Message	Date
Tiago	70451469f3	fix bug in cli	2025-04-27 13:58:59 +01:00
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