| Debian changes tarfile | sat4j_2.3.1-1.debian.tar.gz | |
|---|---|---|
| Size | 11606 | |
| MD5sum | ff0666d3cfbea2a25d515b19c650648b | |
| patch | summary | view | raw |
|---|---|---|---|
| debian-build | build.xml | 6 ++++-- org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/CompetPBResHTMixedConstraintsObjectiveLearningTest.java | 3 ++- org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/CompetPBResMinHTMixedConstraintsObjectiveLearningTest.java | 3 ++- 3 files changed, 8 insertions(+), 4 deletions(-) |
view | download |
| commons-cli | org.sat4j.maxsat/META-INF/MANIFEST.MF | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) |
view | download |