Commit Graph

2 Commits

Author SHA1 Message Date
Tiago 06da8ed64b solver: updates wasm version 2025-05-24 08:57:13 +01:00
Tiago 093c4f59f8 Switch to using WASM solver 2025-04-23 17:34:28 +01:00