babooppa6/minicard
MiniCard: An efficient cardinality solver based on MiniSAT
Public GitHub Catalog
Discovered Oct 25, 2026
babooppa6 / cloc
Copied from http://cloc.sourceforge.net/
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.
#43039298GitHub System ID
babooppa6Organization / User
PublicVisibility
ActiveCatalog Status
More from babooppa6
babooppa6/PyMiniSolvers
A Python API for the MiniSat and MiniCard constraint solvers.
babooppa6/normalize.css
A collection of HTML element and attribute style-normalizations
babooppa6/vlb
VIm learning bible