SAT4J pseudo
Last Published: 2009-02-04
Parent Project
SAT4J
Project Documentation
Project Information
About
Dependencies
Issue Tracking
Mailing Lists
Project License
Project Team
Source Repository
Project Reports
About SAT4J pseudo
The pb library contains algorithms for solving pseudo boolean optimization problems.