UbuntuUpdates.org

Package "sat4j"

Name: sat4j

Description:

Efficient library of SAT solvers in Java
Latest version: 2.3.1-1
Release: precise (12.04)
Level: base
Repository: universe
Homepage: http://www.sat4j.org

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "sat4j"

All arch deb package
APT INSTALL

Other versions of "sat4j" in Precise

No other version of this package is available in the Precise release.

Changelog

Version: 2.3.1-1 2012-04-04 13:07:02 UTC

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 Sun, 04 Mar 2012 01:38:25 +0000
635357 Package is underdocumented - Debian Bug report logs

Version: *DELETED* 2012-03-06 11:03:25 UTC
No changelog for deleted or moved packages.

Version: 2.3.0-3 2011-12-18 16:54:09 UTC

sat4j (2.3.0-3) unstable; urgency=low

  * Reworked debian/rules using dh+jh (closes: #641378)
  * Cleanup patch names to make dpkg happy
  * Build level 1.5 bytecode as requested on eclipse/linuxtools-dev

 -- Michael Tautschnig Mon, 24 Oct 2011 10:39:02 +0100
641378 sat4j: FTBFS: /usr/lib/jvm/java-6-openjdk/bin/java: not found - Debian Bug report logs

Version: *DELETED* 2011-12-18 14:39:34 UTC
No changelog for deleted or moved packages.


About   -   Send Feedback to @ubuntu_updates