Package: sat4j Architecture: all Version: 2.3.5-0.2 Priority: extra Section: universe/science Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Michael Tautschnig <mt@debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 668 Depends: default-jre | java5-runtime | java6-runtime | java7-runtime | java8-runtime, jarwrapper (>= 0.5), libcommons-cli-java Breaks: eclipse-platform (<= 3.5.2-5) Filename: pool/universe/s/sat4j/sat4j_2.3.5-0.2_all.deb Size: 542652 MD5sum: 45035b3963bab17190d9054b072ba76b SHA1: b93e20a0f61b1c5a7f54c5cda732aba7026eec8c SHA256: a5e6e6f76f760b9a6ae29eb7c76f10332841d3b10565cbc453d40f03010f21e1 Homepage: http://www.sat4j.org Description: Efficient library of SAT solvers in Java Description-md5: 57ffc6bb7b4780cfe1d0a28863feef41