Simulated annealing algorithms for solving SAT problem. Created for subject MI-PAA in CTU FIT
Primary LanguageC#