As a consequence of someone pointing out a bug in my MaxSAT solver Loandra I have today finally brought the public repository of it up to date. I also learned how to link external libraries properly and how to add submodules to github repositories.
If you do not know, Loandra is an anytime MaxSAT solver. While it can find provably optimal solutions, it is more geared toward finding low-cost solutions quickly. Loandra was created during my visit to Australia in 2018, it implements the so called core-boosted linear search algorithm that—informally speaking—first performs lower bounding search and then upper bounding search on the reformulated objective. Crucial to Loandras performance is also the preprocessing performed by the MaxPRE2 preprocessor.
Long story short, now is a good time to try Loandra if you still have not.
Head over to https://github.com/jezberg/loandra and let me know if (or let’s be honest… when) you find any issues.
