luca-drf/smmv
gomv
Public GitHub Catalog
Discovered Sep 26, 2026
luca-drf / WalkSAT_vs_DPLL
Basic implementations of WalkSAT and DPLL for propositional logic SAT solving.
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.
#6753734GitHub System ID
luca-drfOrganization / User
PublicVisibility
ActiveCatalog Status
More from luca-drf
luca-drf/Othello
A C++ implementation of the Othello game. (in progress)
luca-drf/Word_Distance_Library
A simple coding exercise in Python for measuring the distance of two words in a book.
luca-drf/algorithms_and_data_structures
A small collection of basic algorithms and data structures in Python and C++11.