chuanhd/ruby-minisat
ruby binding for MiniSat, which is an open-source SAT solver
Public GitHub Catalog
Discovered Oct 25, 2026
chuanhd / ruby-minisat-1
Ruby binding for MiniSat
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.
#42985339GitHub System ID
chuanhdOrganization / User
PublicVisibility
ActiveCatalog Status
More from chuanhd
chuanhd/ANImageBitmapRep
A set of classes for easily manipulating images with bitmap data or CoreGraphics
chuanhd/GPUImage
An open source iOS framework for GPU-based image and video processing
chuanhd/Bolts-iOS
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.