The splr SAT solver in WebAssembly Simple wasm wrapper of the amazing splr SAT solver Build wasm-pack build --target web Usage See the index.html file. Run python -m http.server