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