Stateless Probabilistic Minesweeper (github.com)

2 points by ronanyeah 12mo ago ↗ HN

1 comment

[ 4.2 ms ] story [ 17.2 ms ] thread

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