GitHub repository: FlorentAvellaneda/EvalMaxSAT
Primary language: C++
Created: 2020-06-12T15:50:30Z
Description: A solver and a modern C++ library for the unweighted MaxSAT problem