karpiu/minicard
MiniCard: An efficient cardinality solver based on MiniSAT
Public GitHub Catalog
Discovered Sep 25, 2026
karpiu / karp-trie
Implementation of associative array in C++ using Trie data structure
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.
#2959885GitHub System ID
karpiuOrganization / User
PublicVisibility
ActiveCatalog Status
More from karpiu
karpiu/rubycourse
Application for managing my laboratory group for Ruby Course
karpiu/test-course
Testing my framework for automatic tasks assignment
karpiu/seminars
My presentations for various seminars that took place during my student career in University of Wroclaw.