#

takuzu

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 takuzu 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 takuzu topic, visit your repo's landing page and select "manage topics."