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