demystify-0.4.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

demystify 0.4.0

A constraint solving tool for explaining puzzles

Crate
Source
Builds
Feature flags

..
binairo-1.param
binairo.eprime
jigsawminesweeper-instance.json
jigsawminesweeper.eprime
jigsawminesweeper.param
kakuro-non-square.param
kakuro.eprime
little-sudoku-2.eprime
little-sudoku-2.param
little-sudoku.eprime
little-sudoku.param
little1.eprime
little1.param
minesweeper-non-square.param
minesweeper.eprime
minesweeperPrinted.param
minesweeperWall.param
ppjigsawminesweeper-instance.json
ppjigsawminesweeper.eprime
ppjigsawminesweeper.param
sudoku.json

language ESSENCE' 1.0
letting height be 5
letting width be 5
letting fixedMineCount be -1
letting maxColours be 2