The anytime MaxSAT solver Loandra - View it on GitHub