Package: sat4j Version: 2.3.3-1 Installed-Size: 1323 Maintainer: Michael Tautschnig <mt@debian.org> Architecture: all Depends: default-jre | java5-runtime | java6-runtime | java7-runtime, jarwrapper (>= 0.5), libcommons-cli-java Breaks: eclipse-platform (<= 3.5.2-5) Description: Efficient library of SAT solvers in Java Homepage: http://www.sat4j.org Description-md5: 57ffc6bb7b4780cfe1d0a28863feef41 Tag: field::mathematics, implemented-in::java, role::program, role::shared-lib Section: science Priority: optional Filename: pool/main/s/sat4j/sat4j_2.3.3-1_all.deb Size: 393598 MD5sum: 6f3ae85da65f87c92818455dc037f21f SHA1: 73b51b5797dd8fbb05a19c50450658af5f22d383 SHA256: c82e732c231e0cbbaf412776cf9cce9d2a0db9ddf5f018a5c207cb6c323b8bc3