4 Commits

Author	SHA1	Message	Date
Tiago	093c4f59f8	Switch to using WASM solver	2025-04-23 17:34:28 +01:00
Tiago	fa44a89ce6	add experimental wasm solver	2025-04-23 12:46:42 +01:00
Tiago	7779209fdc	add progress to solver and introduce solver cli	2025-04-22 19:19:24 +01:00
Tiago	ac865e02e7	Add solver	2025-04-12 14:33:36 +01:00