SAT-solver-based takuzu solver
Le projet a été réalisé avec @matteodcr et @Wartapoo dans le cadre de l’UE INF402 de l’UGA.
This project was done with @matteodcr and @Wartapoo as part of the INF402 teaching at UGA.
Exécuter — run: cargo run --release
Compiler (ou installer) — build (or install): cargo build --release, cargo install --path
Le menu d’aide peut être affiché en tapant la commande sans arguments. Des grilles de test sont fournies à la racine du dépôt.
The help menu can be displayed by running the command without arguments. Test grids are provided at the root of the repository.
