Jafonso-sudo/MaxSAT-MRCPSP

Heuristic Augmentation of MaxSAT to tackle the MRCPSP problem