Skip to content

edgarogh/inf402

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

50 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Solveur de Takuzu basé sur un SAT-Solveur — SAT-solver-based takuzu solver

GitHub top language Lines of code GitHub pull requests GitHub issues Coverage Status GitHub Workflow Status Rappel important

Contexte — Context

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.

Installer et compiler — Install and compile

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.