GitHub repository: Kamil-Krawiec/Max3Sat
Primary language: C++
Description: My solution to max3sat NP problem