sat4j_2.3.3-1_all.deb


Advertisement

Description

sat4j - Efficient library of SAT solvers in Java

Distribution: Ubuntu 16.04 LTS (Xenial Xerus)
Repository: Ubuntu Universe i386
Package name: sat4j
Package version: 2.3.3
Package release: 1
Package architecture: all
Package type: deb
Installed size: 1.29 KB
Download size: 383.80 KB
Official Mirror: archive.ubuntu.com
The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. The SAT4J project also tries to provide a basis of work for SAT researchers.

Alternatives

    Download

    Binary package: sat4j_2.3.3-1_all.deb
    Source package: sat4j

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install sat4j deb package:
      # sudo apt-get install sat4j

    Files

    • /usr/bin/sat4j
    • /usr/share/doc/sat4j/changelog.Debian.gz
    • /usr/share/doc/sat4j/copyright
    • /usr/share/java/org.sat4j.core-2.3.3.jar
    • /usr/share/java/org.sat4j.core.jar
    • /usr/share/java/org.sat4j.maxsat-2.3.3.jar
    • /usr/share/java/org.sat4j.maxsat.jar
    • /usr/share/java/org.sat4j.pb-2.3.3.jar
    • /usr/share/java/org.sat4j.pb.jar
    • /usr/share/java/sat4j-maxsat-2.3.3.jar
    • /usr/share/java/sat4j-maxsat.jar
    • /usr/share/java/sat4j-pb-2.3.3.jar
    • /usr/share/java/sat4j-pb.jar
    • /usr/share/man/man1/sat4j.1.gz

    Changelog

    2014-06-28 - Michael Tautschnig <mt@debian.org> sat4j (2.3.3-1) unstable; urgency=low * New upstream release * Bumped standards version to 3.9.5 (no changes)

    2012-12-02 - Michael Tautschnig <mt@debian.org> sat4j (2.3.2-1) unstable; urgency=low * New upstream release * Bumped standards version to 3.9.4 (no changes) * Use target 1.5 instead of jsr14 as Java7 no longer allows generics with jsr14. Thanks Niels Thykier for the report and patch (closes: #678007)

    2012-03-04 - Michael Tautschnig <mt@debian.org> 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

    2011-10-24 - Michael Tautschnig <mt@debian.org> 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

    2011-08-10 - Michael Tautschnig <mt@debian.org> sat4j (2.3.0-2) unstable; urgency=low * Include maxsat solver (closes: #636784)

    2011-06-16 - Michael Tautschnig <mt@debian.org> sat4j (2.3.0-1) unstable; urgency=low * New upstream release (closes: #630720) * Bumped standards version to 3.9.2 (no changes)

    2011-02-08 - Michael Tautschnig <mt@debian.org> sat4j (2.2.3-1) unstable; urgency=low * New upstream release * Changed build-date from SQUEEZE to WHEEZY

    2010-08-16 - Michael Tautschnig <mt@debian.org> sat4j (2.2.0-3) unstable; urgency=low * Replace BUILD_DATE property by fixed string "SQUEEZE" to make eclipse happy, changed Breaks to eclipse (<= 3.5.2-5) (closes: #592181)

    2010-08-01 - Michael Tautschnig <mt@debian.org> sat4j (2.2.0-2) unstable; urgency=low * Disabled very expensive tests CompetPBRes(Min)?HTMixedConstraintsObjectiveLearningTest to fix FTBFS (closes: #591140) * Bumped standards version to 3.9.1 (no changes)

    2010-06-24 - Michael Tautschnig <mt@debian.org> sat4j (2.2.0-1) unstable; urgency=low * New upstream release (closes: #586437) - added Breaks: eclipse (<= 3.5.2-3) as requested by eclipse devs

    Advertisement
    Advertisement