3 ms·
It trivially works on PCG. The problem is a boolean satisfiability problem, and these are solvable on far harder instances.
by ChrisLomont 5y ago
It trivially works on PCG. The problem is a boolean satisfiability problem, and these are solvable on far harder instances.