zhiwenf/pmc
parallel maximum clique library
generate random graph for minimum vertex cover(MVC) problem. And sort the graph by the number of MVC and the number of backtrack to search MVC by greedy
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
parallel maximum clique library
Clone of http://code.google.com/p/leveldb/
A minimalistic and high-performance SAT solver
Tools for RB model benchmark, generators, solvers etc