/MyMaXSat

The C++ implementation of the four approximation algorithms for MaxSat Problem.

Primary LanguageC++

Watchers