DOG-C / NP-problem Star 0 Code Issues Pull requests Zeitkomplexität/Theory of computation reduction sat npproblem pproblem polynomial-reduction Updated Apr 22, 2024