Public GitHub Catalog
Discovered Sep 27, 2026
marcelkliemannel / pSAT
C framework for SLS-SAT-Solvers with an implementation of Robust Tabu Search (RoTS) and Iterated Local Search with Simulated Annealing (ILS/SA).
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#9012757GitHub System ID
marcelkliemannelOrganization / User
PublicVisibility
ActiveCatalog Status