SAT4J maxsat
Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.
|
Version |
Repository |
Kutymer |
Dato |
| 2.3.x |
2.3.6
|
central |
|
dec. 14, 2020 |
|
2.3.5
|
central |
|
maj 25, 2013 |
|
2.3.4
|
central |
|
apr. 19, 2013 |
|
2.3.3
|
central |
|
feb. 16, 2013 |