MaxSAT_LNS Large Neighbourhood Search for MaxSAT To run, go to bin/ and type ./starexec_run_custom.sh <instance_file>