/GSAT-WalkSAT

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

Primary LanguageC++

Watchers