sat4j-2.1.1-3.jpp6.noarch.rpm


Advertisement

Description

sat4j - A library of SAT solvers written in Java

Property Value
Distribution RPM Universal
Repository JPackage 6.0 Devel all
Package filename sat4j-2.1.1-3.jpp6.noarch.rpm
Package name sat4j
Package version 2.1.1
Package release 3.jpp6
Package architecture noarch
Package type rpm
Homepage -
License -
Maintainer -
Download size 474.36 KB
Installed size 527.03 KB
The aim of the SAT4J library is to provide an efficient library of SAT
solvers in Java. The SAT4J library targets first users of SAT "black
boxes", those willing to embed SAT technologies into their application
without worrying about the details.

Alternatives

Package Version Architecture Repository
sat4j - - -

Requires

Name Value
java >= 1.6
jpackage-utils >= 1.7.5

Provides

Name Value
sat4j = 2.1.1-3.jpp6

Download

Type URL
Mirror mirrors.dotsrc.org
Binary Package sat4j-2.1.1-3.jpp6.noarch.rpm
Source Package sat4j-2.1.1-3.jpp6.src.rpm

Install Howto

Fedora, CentOS, RHEL:
  1. Create the repository config file /etc/yum.repos.d/jpackage-generic-6.0-devel.repo:
    
    [jpackage-generic-6.0-devel]
    name=JPackage (free), generic
    baseurl=http://mirrors.dotsrc.org/jpackage/6.0/generic/devel/
    gpgcheck=1
    gpgkey=http://jpackage.org/jpackage.asc
    enabled=1
    
  2. Install sat4j rpm package:
    # yum install sat4j
openSUSE:
  1. Add the JPackage 6.0 Devel repository:
    # zypper addrepo http://mirrors.dotsrc.org/jpackage/6.0/generic/devel/ jpackage-6.0-devel
  2. Install sat4j rpm package:
    # zypper install sat4j
Mandriva, Mageia:
  1. Add the JPackage 6.0 Devel repository:
    # urpmi.addmedia jpackage-6.0-devel http://mirrors.dotsrc.org/jpackage/6.0/generic/devel/ with hdlist.cz
  2. Update packages list:
    # urpmi.update -a
  3. Install sat4j rpm package:
    # urpmi sat4j

Files

Path
/usr/share/java/sat4j/core-2.1.1.jar
/usr/share/java/sat4j/core-tests-2.1.1.jar
/usr/share/java/sat4j/core-tests.jar
/usr/share/java/sat4j/core.jar
/usr/share/java/sat4j/csp-2.1.1.jar
/usr/share/java/sat4j/csp-tests-2.1.1.jar
/usr/share/java/sat4j/csp-tests.jar
/usr/share/java/sat4j/csp-xmlparser-2.1.1.jar
/usr/share/java/sat4j/csp-xmlparser-tests-2.1.1.jar
/usr/share/java/sat4j/csp-xmlparser-tests.jar
/usr/share/java/sat4j/csp-xmlparser.jar
/usr/share/java/sat4j/csp.jar
/usr/share/java/sat4j/maxsat-2.1.1.jar
/usr/share/java/sat4j/maxsat-tests-2.1.1.jar
/usr/share/java/sat4j/maxsat-tests.jar
/usr/share/java/sat4j/maxsat.jar
/usr/share/java/sat4j/multicore-2.1.1.jar
/usr/share/java/sat4j/multicore-tests-2.1.1.jar
/usr/share/java/sat4j/multicore-tests.jar
/usr/share/java/sat4j/multicore.jar
/usr/share/java/sat4j/pb-2.1.1.jar
/usr/share/java/sat4j/pb-tests-2.1.1.jar
/usr/share/java/sat4j/pb-tests.jar
/usr/share/java/sat4j/pb.jar
/usr/share/java/sat4j/sat-2.1.1.jar
/usr/share/java/sat4j/sat-tests-2.1.1.jar
/usr/share/java/sat4j/sat-tests.jar
/usr/share/java/sat4j/sat.jar

Changelog

2010-10-12 - Ralph Apel <r.apel@r-apel.de> 2.1.1-4
- Adapt to JPP6
- Build tests and javadoc
- Build with maven2
2010-03-30 - Andrew Overholt <overholt@redhat.com> 2.1.1-3
- Fix license tag
2010-03-26 - Alexander Kurtakov <akurtako@redhat.com> 2.1.1-2
- Switch to lzma tarball.
- Remove classpath in manifest.
2010-03-07 - Alexander Kurtakov <akurtako@redhat.com> 2.1.1-1
- Update to 2.1.1.
2009-08-04 - Alexander Kurtakov <akurtako@redhat.com> 2.1.0-1
- Update to 2.1.0 final.
2009-04-08 - Alexander Kurtakov <akurtako@redhat.com> 2.1.0-0.1.rc2
- Update to 2.1.0.RC2.
2009-02-26 - Alexander Kurtakov <akurtako@redhat.com> 2.0.3-1
- Update to 2.0.3.
2009-02-25 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0.0-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
2008-08-28 - Andrew Overholt <overholt@redhat.com> 2.0.0-7
- eclipse_base is now libdir/eclipse
2008-07-15 - Andrew Overholt <overholt@redhat.com> 2.0.0-6
- Build with OpenJDK (java.util.Scanner)

See Also

Package Description
sat4j-javadoc-2.1.1-3.jpp6.noarch.rpm Javadoc for sat4j
scala-2.8.1-specs-1.6.7.2-1.jpp6.noarch.rpm Scalate Template Engine
scala28-2.8.1-2.jpp6.noarch.rpm A hybrid functional/object-oriented language for the JVM
scala28-apidoc-2.8.1-2.jpp6.noarch.rpm Documentation for the Scala programming language
scala28-examples-2.8.1-2.jpp6.noarch.rpm Examples for the Scala programming language
scalacheck-1.8-1.jpp6.noarch.rpm ScalaCheck Test Framework
scalamd-1.5-1.jpp6.noarch.rpm Scala Markdown Library
scalate-1.4.1-1.jpp6.noarch.rpm Scalate Template Engine
scalatest-1.3-1.jpp6.noarch.rpm ScalaTest Framework
scalax-0.1-1.jpp6.noarch.rpm Scala Community Library
scalax-scaladoc-0.1-1.jpp6.noarch.rpm Scaladoc for scalax
selenium-2.2.0-1.jpp6.noarch.rpm Selenium browser automation
selenium-javadoc-2.2.0-1.jpp6.noarch.rpm Javadoc for selenium
servicemix-build-maven-plugin-1.0-1.jpp6.noarch.rpm ServiceMix build Maven2 plugin
servicemix-build-maven-plugin-javadoc-1.0-1.jpp6.noarch.rpm Javadoc for servicemix-build-maven-plugin
Advertisement
Advertisement