Stateless Probabilistic Minesweeper (github.com)

2 points by ronanyeah 1y ago ↗ HN

1 comment

[ 2.6 ms ] story [ 14.1 ms ] thread

- The SAT solver is implemented using the Rust crate `varisat` - The Rust program is provided to the webapp as WASM