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
Hallelujah: Approximate Vertex Cover Solver
An implementation of the O_SAT and O_UNSAT oracles. These oracles cannot exist. They do now.
