3 ms·
I think MiniSAT was used precisely because it is dead easy to embed into WebAssembly. I'm aware that Z3 was also ported to WebAssembly, but it will be way large
by lifthrasiir 3y ago
I think MiniSAT was used precisely because it is dead easy to embed into WebAssembly. I'm aware that Z3 was also ported to WebAssembly, but it will be way larger...