6 ms·Stateless Probabilistic Minesweeper2 points by ronanyeah 1y agoronanyeah 1y ago- The SAT solver is implemented using the Rust crate `varisat` - The Rust program is provided to the webapp as WASM