3 Commits

Author	SHA1	Message	Date
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