SAT4J pseudo
The pb library contains algorithms for solving pseudo boolean optimization problems.
tags:Available versions
| Version | Type | Download |
|---|---|---|
| 2.3.1 | release | Binary (199 KB) |
| 2.3.0 | release | Binary (166 KB) |
| 2.2.3 | release | Binary (43 KB) |
| 2.0.4 | release | Binary (81 KB) |
| 2.0.0 | release | Binary (82 KB) |
Stats