#

varisat

Here are 2 public repositories matching this topic...

tobiges / grid_coloring_problem_solver

Grid Coloring Problem solver

rust grid-coloring-problem varisat

Updated Jan 23, 2022
Rust

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