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: about 1 month 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 (about 3 years ago)
• Default Branch: main
• Last Pushed: 2023-06-29T22:01:35.000Z (about 1 year ago)
• Last Synced: 2024-02-11T14:04:51.401Z (5 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

Lists

• 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.