#

sat-benchmarks

Here is 1 public repository matching this topic...

Byt-wyze-technology / sat-instances-library

Curated collection of 100+ SAT problem instances with difficulty taxonomy, solver metrics, and interactive HTML viewer

benchmark research cnf sat-solver constraint-satisfaction dimacs satisfiability dimacs-cnf solver-testing sat-instances sat-benchmarks

Updated Dec 12, 2025
HTML

Improve this page

Add a description, image, and links to the sat-benchmarks 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 sat-benchmarks topic, visit your repo's landing page and select "manage topics."