SAT4J pseudo org.ow2.sat4j.pb 
| Parent | org.ow2.sat4j.pom |
| Group | org.ow2.sat4j |
| 描述 | The pb library contains algorithms for solving pseudo boolean optimization problems. |
| Packaging | jar |
| Size | 432.64 KB |
| 文件 | pom jar |
| 发布时间 | 2020-12-15 00:57 |
dependencies
| Group | Artifact | Version |
|---|---|---|
| org.ow2.sat4j | org.ow2.sat4j.core | 2.3.6 |
| junit | junit | 4.4 |
developers
| leberre | Daniel Le Berre | CRIL |
| parrain | Anne Parrain | CRIL |
licenses
索引仓库
| 仓库 | 个数 |
| Central | 592045 |