Skip to content

CPD project - Summer Semester 2015/16 @ Instituto Superior Técnico

Notifications You must be signed in to change notification settings

Issam28/maxsat-solver

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

31 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

MAXSAT Solver

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

About

CPD project - Summer Semester 2015/16 @ Instituto Superior Técnico

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 99.0%
  • Makefile 1.0%