4 ms·
More nominations: Hashlife (golly) SAT-solvers (minisat, glucose, lingeling, ...) Convex optimization (CVXOPT, ...)
by cevi 9y ago
More nominations:
Hashlife (golly)
SAT-solvers (minisat, glucose, lingeling, ...)
Convex optimization (CVXOPT, ...)