Package: sat4j
Architecture: all
Version: 2.3.6-1
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 996
Depends: default-jre | java8-runtime | java9-runtime | java10-runtime | java11-runtime, jarwrapper (>= 0.5), libcommons-cli-java
Breaks: eclipse-platform (<= 3.5.2-5)
Filename: pool/universe/s/sat4j/sat4j_2.3.6-1_all.deb
Size: 847186
MD5sum: 4c98606ba860feec8aeec26ac6293c65
SHA1: c7bf5d6872322d76f691f48a241d608988a5aa24
SHA256: 56f98781842d26c4d2df5dd848c6907e3a6ca1563b8c9db10e7852ba89bbd107
SHA512: 082ed0aebcec40c50d29d283be4de2297a7ab5ec7b187605ded56998a807dc5a4d03b63fbb480c7de5f7b64b1087f3be3ba240fcbafbaa765a15f38db36635c0
Homepage: https://www.sat4j.org
Description: Efficient library of SAT solvers in Java
Description-md5: 57ffc6bb7b4780cfe1d0a28863feef41