MaxSAT_LNS

Large Neighbourhood Search for MaxSAT

To run, go to bin/ and type ./starexec_run_custom.sh <instance_file>