Publishing details

• Published on 2012-04-04
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Benjamin Drung

Changelog

sat4j (2.3.1-1) unstable; urgency=low


  * New upstream release
  * Bumped standards version to 3.9.3 (no changes)
  * Added link to existing (but CC-BY-NC-ND) documentation
    (closes: #635357)
  * No longer requires maxsat-as-patch

 -- Michael Tautschnig <email address hidden>  Sun, 04 Mar 2012 01:38:25 +0000

Builds

• i386

Built packages

• sat4j Efficient library of SAT solvers in Java

Package files

• sat4j_2.3.1-1.debian.tar.gz (11.3 KiB)
• sat4j_2.3.1-1.dsc (1.2 KiB)
• sat4j_2.3.1-1_all.deb (974.1 KiB)
• sat4j_2.3.1.orig.tar.gz (13.3 MiB)