sat4j_2.3.3-1_all.deb


Advertisement

Description

sat4j - Efficient library of SAT solvers in Java

Property Value
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

Package Version Architecture Repository
sat4j_2.3.3-1_all.deb 2.3.3 all Ubuntu Universe
sat4j - - -

Requires

Name Value
default-jre -
jarwrapper >= 0.5
java5-runtime -
java6-runtime -
java7-runtime -
libcommons-cli-java -

Download

Type URL
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

Path
/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

See Also

Package Description
sauce_0.9.0+nmu3_all.deb SMTP defence software against spam
savi_1.4.6-1_i386.deb satellite constellation visualisation
sawfish-data_1.11-2_all.deb sawfish architecture independent data
sawfish-lisp-source_1.11-2_all.deb sawfish lisp files
sawfish-merlin-ugliness_1.3.1-1ubuntu1_all.deb More flexible functions for sawfish
sawfish-themes_0.13_all.deb Themes for the Sawfish window manager
sawfish_1.11-2_i386.deb window manager for X11
saytime_1.0-27_i386.deb speaks the current time through your sound card
sb16ctrl-bochs_2.6-5build1_i386.deb control utility for Bochs emulated SB16 card
sbackup-gtk_0.11.6-0ubuntu1_all.deb Simple Backup Suite GTK+ graphical user interface
sbackup-plugins-fuse_0.11.6-0ubuntu1_all.deb Simple Backup Suite FUSE plugins
sbackup_0.11.6-0ubuntu1_all.deb Simple Backup Suite for desktop use (core functionality)
sbcl-doc_1.3.1-1ubuntu2_all.deb Documentation for Steel Bank Common Lisp
sbcl-source_1.3.1-1ubuntu2_all.deb Source code files for SBCL
sbcl_1.3.1-1ubuntu2_i386.deb Common Lisp compiler and development system
Advertisement
Advertisement