| Group | org.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.1 | central | 2011-11-01 06:55 |
| 2.3.0 | central | 2011-03-30 17:13 |
| 2.2.3 | central | 2010-12-24 19:38 |
| 2.0.4 | central | 2008-11-04 01:50 |
| 2.0.0 | central | 2008-10-01 23:35 |
| 仓库 | 个数 |
| Central | 592045 |