Stateless Probabilistic Minesweepergithub.com/ronanyeah 2 pointsronanyeah1 year ago1 commentSaveHideCopy link On HNComments−ronanyeahOP1y- The SAT solver is implemented using the Rust crate `varisat` - The Rust program is provided to the webapp as WASM
Comments
- The SAT solver is implemented using the Rust crate `varisat` - The Rust program is provided to the webapp as WASM