Done in the context of a Parallel and Distributed Computing course*, this project consists of three different implementations of a MAXSAT Solver using a Branch and Bound approach: a Serial version, an OpenMP version and an MPI version.
* - at Instituto Superior Técnico, Lisboa - Summer Semester 2015/2016