| Group | org.ow2.sat4j |
| 描述 | The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SAT technologies. It is a mature software that target Java developer willing to use SAT capability in their software. |
| 版本 | 仓库 | 发布时间 |
| 2.3.6 | central | 2020-12-15 00:48 |
| 2.3.5 | central | 2013-05-26 01:08 |
| 2.3.4 | central | 2013-04-19 20:18 |
| 2.3.3 | central | 2013-02-16 21:48 |
| 仓库 | 个数 |
| Central | 592045 |