complexity-theory
Aegypti: Approximate Clique Solver
A Python library for Boolean function analysis and spectral methods
Hallelujah: Approximate Vertex Cover Solver