claudiom/Sudoku-Solver-with-SAT-solver
A simple Sudoku solver that transform an instance of the game into a CNF that is solved by using a SAT solver.
Public GitHub Catalog
Discovered Sep 25, 2026
claudiom / Introduction-to-algorithms
Implementations of algorithms from the book "Introduction to Algorithms", 3rd ed, Cormen, Leiserson, Rivest, Stein
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#2860500GitHub System ID
claudiomOrganization / User
PublicVisibility
ActiveCatalog Status