vale1410/minisat
A minimalistic and high-performance SAT solver
Public GitHub Catalog
Discovered Oct 7, 2026
vale1410 / csplib
A benchmark library for constraints
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.
#34371604GitHub System ID
vale1410Organization / User
PublicVisibility
ActiveCatalog Status
More from vale1410
vale1410/csv2md
Simple CSV to markdown converter written in golang
vale1410/minisatp
The Pseudo-Boolean Solver MiniSat+
vale1410/vim-minizinc
Syntax highlighting for minizinc (CP) and gringo (ASP) source code.