kubpica/GSAT-WalkSAT
Program wykorzystujący algorytm GSAT oraz WalkSAT do rozwiązania problemu spełnialności dla wprowadzonej formuły logicznej.
C++
Program wykorzystujący algorytm GSAT oraz WalkSAT do rozwiązania problemu spełnialności dla wprowadzonej formuły logicznej.
C++