https://github.com/ronanyeah/sat-minesweeper

Stateless Probabilistic Minesweeper
https://github.com/ronanyeah/sat-minesweeper

Last synced: 4 months ago
JSON representation

Stateless Probabilistic Minesweeper

• Host: GitHub
• URL: https://github.com/ronanyeah/sat-minesweeper
• Owner: ronanyeah
• Created: 2025-07-16T15:03:01.000Z (11 months ago)
• Default Branch: master
• Last Pushed: 2025-07-31T16:34:49.000Z (11 months ago)
• Last Synced: 2025-07-31T19:55:18.799Z (11 months ago)
• Language: Move
• Homepage: https://sat-minesweeper.netlify.app/
• Size: 172 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Stateless Probabilistic Minesweeper

#### [Live demo](https://sat-minesweeper.netlify.app/)



#### [Project objectives](https://x.com/kostascrypto/status/1940444390255665509)



#### Notes

- The SAT solver is implemented using the Rust crate [varisat](https://docs.rs/varisat/latest/varisat/) - [Code](./common/src/lib.rs)

- The Rust program is provided to the webapp as WASM - [Code](./wasm/src/lib.rs)