#

varisat

Here are 3 public repositories matching this topic...

cygnus-io / pubsat

SAT-based dependency resolution as a library: bring your own registry, swap your SAT backend, get back a resolution.

resolver rust dependency-graph semver cnf sat-solver dependency-resolution varisat

Updated May 11, 2026
Rust

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