demystify-web
| Crates.io | demystify-web |
| lib.rs | demystify-web |
| version | 0.1.3 |
| created_at | 2025-08-08 09:49:21.733048+00 |
| updated_at | 2025-08-10 13:09:37.549993+00 |
| description | A web front end to demystify, a constraint solving tool for explaining puzzles |
| homepage | https://github.com/stacs-cp/demystify-rs |
| repository | https://github.com/stacs-cp/demystify-rs |
| max_upload_size | |
| id | 1786517 |
| size | 601,040 |
Christopher Jefferson (ChrisJefferson)
documentation
README
demystify-web
demystify-web is the web interface for the demystify constraint satisfaction problem solver. It aims to provide an easy-to-use browser interface for solving and understanding puzzles through detailed, human-readable explanations.
Overview
This package offers a convenient web-based frontend to the core demystify solver. If you're looking for low-level access to the solving engine, please install the main demystify package instead.
Installation
Prerequisites
- A reasonably recent version of
rust. Install with rustup - If you're on Windows, you'll need LLVM:
winget install LLVM.LLVM
The web interface will automatically handle the installation of conjure (via Docker/Podman if needed) when you run it.
Setup
- Clone the repository:
git clone https://github.com/stacs-cp/demystify-rs cd demystify-web
Running the Web Interface
To start the web server:
cargo run --release --bin demystify-web
Then navigate to the URL displayed in your terminal (typically http://localhost:8008).
Testing
To verify that everything is working correctly:
cargo test --workspace
Note: The first test run may take longer if Docker/Podman needs to download the Conjure image.
Development Status
demystify-web is under active development. Some features may be incomplete or subject to change.
Contributing
Contributions are welcome! Please feel free to open issues and submit pull requests on the GitHub repository.
License
Licensed under the MPL 2.0 License. See the LICENSE file for details.
Happy puzzling through the web interface!