Filewatcher File Search File Search
Catalog
Content Search
» » » » »

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.
Homepage:
Package version:2.3.1-1
Architecture:all
Distribution:Debian
Filename:sat4j_2.3.1-1_all.deb

/usr/share/man/man1/sat4j.1.gz

SAT4J(1)                                                    SAT4J(1)



NAME
       sat4j - efficient library of SAT solvers in Java

SYNOPSIS
       sat4j input-file

DESCRIPTION
       This manual page documents briefly the sat4j command.

       sat4j  is  an  efficient  library  for SAT solvers written in
       Java.

       An  initial  set   of   documentation   can   be   found   at
      
more»

/usr/share/doc/sat4j/changelog.Debian.gz

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 <mt@debian.org>  Sun, 04 Mar 2012 01:38:25 +0000

sat4j (2.3.0-3) unstable; urgency=low

  * Reworked debian/rules using dh+jh (closes: #6413
more»

/usr/share/doc/sat4j/copyright

This package was debianized by Michael Tautschnig <mt@debian.org> on
Sun, 08 Jun 2008 12:15:56 +0000.

It was checked out from SVN at
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/2_0_1/
and cleaned up as shown in debian/rules: get-orig-source

Upstream Author:   Daniel Le Berre <leberre@cril.univ-artois.fr>

Copyright: 

    Copyright (C) 2004-2008 Daniel Le Berre

License:

    SAT4J: a
more»

Browse inside sat4j_2.3.1-1_all.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download sat4j_2.3.1-1_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com