GitHub - ronanyeah/sat-minesweeper: Stateless Probabilistic Minesweeper

ronanyeah · GitHub

1 min read Original article ↗

Latest commit

History

Folders and files

Name		Name	Last commit message	Last commit date
common		common
public		public
sources		sources
src		src
tests		tests
wasm		wasm
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
Move.lock		Move.lock
Move.toml		Move.toml
README.md		README.md
elm.json		elm.json
package-lock.json		package-lock.json
package.json		package.json
tsconfig.json		tsconfig.json
webpack.config.ts		webpack.config.ts

Repository files navigation

Live demo

Project objectives

Notes

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