- LinSBPS, the experimental MaxSAT solver Prof Stuckey and I developed for the MaxSAT Evaluation 2018. It incorporates a varying resolution with solution-guided search. You can read about it here (more detailed version soon). It was ranked first place in the incomplete weighted 300 seconds track.
- I added solution-based phase saving and Luby restarts to Chuffed, a lazy clause generation CP solver. In addition, I added the option of specifying a partial feasible solution to the solver, which is particularly useful if one can use a heuristic algorithm to generate a “good” solution. You may download this version here.
- More to add; currently, this part is under construction!
Note: for some reason, I had issues unzipping the files on Macs. If this is an issue for you, please contact me!