complexity-theory
Aegypti: Triangle-Free Solver
A toolkit for teaching, learning, and doing research in Boolean function analysis. Fourier analysis, property testing, query complexity, hypercontractivity, pseudorandomness, and more
Compute the Approximate Vertex Cover for undirected graph encoded in DIMACS format.
An implementation of the O_SAT and O_UNSAT oracles. These oracles cannot exist. They do now.
