SAT4J pseudo org.sat4j.pb 
| Parent | org.sat4j.pom |
| Group | org.sat4j |
| 描述 | The pb library contains algorithms for solving pseudo boolean optimization problems. |
| Packaging | jar |
| Size | 198.14 KB |
| 文件 | pom jar |
| 发布时间 | 2011-11-01 06:59 |
dependencies
| Group | Artifact | Version |
|---|---|---|
| org.sat4j | org.sat4j.core | 2.3.1 |
| org.sat4j | org.sat4j.core | 2.3.1 |
| junit | junit | 4.4 |
developers
| leberre | Daniel Le Berre | CRIL |
| parrain | Anne Parrain | CRIL |
licenses
索引仓库
| 仓库 | 个数 |
| Central | 592045 |