kopptr/Cachet
weighted model counter 2006 version
Public GitHub Catalog
Discovered Sep 24, 2026
kopptr / 3d-tic-tac-toe
An FPGA-based tic-tac-toe game
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.
#2516449GitHub System ID
kopptrOrganization / User
PublicVisibility
ActiveCatalog Status
More from kopptr
kopptr/sharpSAT
The #SAT solver sharpSAT
kopptr/GTCluster_Job_Scheduler
Jamie Davis and Tim Kopp's job scheduling utility. Allows you to convert a set of nodes into a rudimentary cluster
kopptr/goWalkSAT
A Go implementation of the WalkSAT algorithm