Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
Stateless Probabilistic Minesweeper
(github.com)
2 points
by
ronanyeah
351 days ago
| 1 comment
Stateless Probabilistic Minesweeper | Dark Hacker News
ronanyeah
351 days ago
|
next
[−]
- The SAT solver is implemented using the Rust crate `varisat` - The Rust program is provided to the webapp as WASM