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 |
Usages |
Date |
2.3.x |
2.3.6
|
central |
|
Dec 14, 2020 |
2.3.5
|
central |
|
May 25, 2013 |
2.3.4
|
central |
|
Apr 19, 2013 |
2.3.3
|
central |
|
Feb 16, 2013 |