Stateless Probabilistic Minesweeper (opens in new tab)

(github.com)

2 pointsronanyeah8mo ago1 comments

1 comments

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

j / k navigate · click thread line to collapse

(github.com)

2 pointsronanyeah8mo ago1 comments

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

j / k navigate · click thread line to collapse