About

Last Published: 2013-02-09 | Version: 2.3.3

Parent Project

SAT4J

Project Documentation

Project Information
- About
- Source Repository
- Project License
- Issue Tracking
- Mailing Lists
- Project Team
- Dependencies
Project Reports

Built by Maven

About SAT4J pseudo

The pb library contains algorithms for solving pseudo boolean optimization problems.