#

inf402

Here is 1 public repository matching this topic...

edgarogh / inf402

SAT-solver-based takuzu solver

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

Updated Jun 29, 2023
Rust

Improve this page

Add a description, image, and links to the inf402 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the inf402 topic, visit your repo's landing page and select "manage topics."