vale1410/csplib
A benchmark library for constraints
Simple CSV to markdown converter written in golang
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A benchmark library for constraints
A minimalistic and high-performance SAT solver
The Pseudo-Boolean Solver MiniSat+
Syntax highlighting for minizinc (CP) and gringo (ASP) source code.