pbclasp bundles a set of tools for using the ASP solver clasp as a full-fledged pseudo-Boolean solver.

System (superseded by clasp)