Stateless Probabilistic Minesweeper
github.com
Stateless Probabilistic Minesweeper
1–2 of 2 posts
Re: Stateless Probabilistic Minesweeper
#2- The SAT solver is implemented using the Rust crate `varisat`
- The Rust program is provided to the webapp as WASM