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
Public GitHub Catalog
Discovered Oct 3, 2026
kopptr / sharpSAT
The #SAT solver sharpSAT
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.
#28106218GitHub System ID
kopptrOrganization / User
PublicVisibility
ActiveCatalog Status
More from kopptr
kopptr/goWalkSAT
A Go implementation of the WalkSAT algorithm
kopptr/webots-audio-python
Public repository.
kopptr/harmonySAT
An Adaptive SAT Solver