Ubuntu
sat4j package

sat4j 2.3.0-1 source package in Ubuntu

Changelog

sat4j (2.3.0-1) unstable; urgency=low

  * New upstream release (closes: #630720)
  * Bumped standards version to 3.9.2 (no changes)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Thu,  16 Jun 2011 22:57:48 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Oneiric
Original maintainer:
Michael Tautschnig
Architectures:
all
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Oneiric: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
sat4j_2.3.0.orig.tar.gz 13.2 MiB 8d3f774265c653563c87442dbe8f0d0aebbfd5a60784d61572b57d7934fc1b84
sat4j_2.3.0-1.debian.tar.gz 11.1 KiB fa74acb496d6601b5408b760a31ff42212b5ce7519dec66fb9d7b8bb1074b5e3
sat4j_2.3.0-1.dsc 1.1 KiB 8017e7dce79fc26fce22a894f7233429317e9ddd5c6c383ee58f0f2c3ba35c48

Available diffs

View changes file

Binary packages built by this source

sat4j: Efficient library of SAT solvers in Java

 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.