Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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
- Host: GitHub
- URL: https://github.com/edgarogh/inf402
- Owner: edgarogh
- Created: 2021-04-04T15:53:36.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2023-06-29T22:01:35.000Z (over 1 year ago)
- Last Synced: 2024-05-22T22:33:19.594Z (6 months ago)
- Topics: inf402, rust, sat, sat-solver, solver, takuzu, takuzu-game, universite-grenoble-alpes, varisat
- Language: Rust
- Homepage: https://edgar.bzh/projects/inf402-takuzu
- Size: 539 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - inf402 - SAT-solver-based takuzu solver. (Unclassified / Libraries)
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.