SAT4J core
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.
tags:Available versions
| Version | Type | Download |
|---|---|---|
| 2.3.1 | release | Binary (262 KB) |
| 2.3.0 | release | Binary (48 KB) |
| 2.2.3 | release | Binary (42 KB) |
| 2.0.4 | release | Binary (153 KB) |
| 2.0.0 | release | Binary (155 KB) |
Stats