7 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	4546cea208	bump version	2025-04-22 19:25:47 +01:00
Tiago	b16e391751	fix	2025-04-22 19:25:11 +01:00
Tiago	8336ecfce6	update	2025-04-22 19:22:39 +01:00
Tiago	9f7ad2b871	finishing touches	2025-04-22 19:21:44 +01:00
Tiago	7779209fdc	add progress to solver and introduce solver cli	2025-04-22 19:19:24 +01:00