Stateless Probabilistic Minesweeper

2 pointsposted 7 months ago
by ronanyeah
(github.com)

1 Comments

ronanyeah

7 months ago

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