Furones: Approximate Dominating Set Solver
Aegypti: Approximate Clique Solver
An AI constraint solver that optimizes planning and scheduling problems
Approximate Chromatic Number Solver
Simplicial-test realizes a simplicial complex from a prescribed degree-size sequence (when feasible).
Loynaz: Approximate Edge Dominating Set Solver