Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/edgarogh/inf402

SAT-solver-based takuzu solver
https://github.com/edgarogh/inf402

inf402 rust sat sat-solver solver takuzu takuzu-game universite-grenoble-alpes varisat

Last synced: 17 days ago
JSON representation

SAT-solver-based takuzu solver

Awesome Lists containing this project

README

        

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

![GitHub top language](https://img.shields.io/github/languages/top/edgarogh/inf402)
![Lines of code](https://img.shields.io/tokei/lines/github/edgarogh/inf402)
[![GitHub pull requests](https://img.shields.io/github/issues-pr/edgarogh/inf402)](https://github.com/edgarogh/inf402/pulls)
[![GitHub issues](https://img.shields.io/github/issues/edgarogh/inf402)](https://github.com/edgarogh/inf402/issues)
[![Coverage Status](https://coveralls.io/repos/github/edgarogh/inf402/badge.svg?branch=main)](https://coveralls.io/github/edgarogh/inf402?branch=main)
![GitHub Workflow Status](https://img.shields.io/github/actions/workflow/status/edgarogh/inf402/rust.yml)
![Rappel important](https://img.shields.io/badge/aller%20le-foot-white?cacheSeconds=1000000)

## Contexte — Context

Le projet a été réalisé avec @matteodcr et @Wartapoo dans le cadre de l'UE [INF402](https://wackb.gricad-pages.univ-grenoble-alpes.fr/inf402/) de l'UGA.

This project was done with @matteodcr and @Wartapoo as part of the [INF402](https://wackb.gricad-pages.univ-grenoble-alpes.fr/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.