vale1410/csplib
A benchmark library for constraints
Modelling attempts for the car sequencing problem from the CSPLIB
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
Simple CSV to markdown converter written in golang
The Pseudo-Boolean Solver MiniSat+