GitHub repository: ron-wettenstein/tt-open-wbo-inc
Description: An anytime MaxSAT solver