Hacker News new | ask | show | jobs
Stateless Probabilistic Minesweeper (github.com)
2 points by ronanyeah 331 days ago
1 comments
ronanyeah 331 days ago
- The SAT solver is implemented using the Rust crate `varisat` - The Rust program is provided to the webapp as WASM
link