borg (pypi): the borg algorithm portfolio toolkit
Keywords: borg|algorithm|portfolio|solver|SAT|PB|satisfiability