sat4j-2.3.5-2.1-omv2015.0.noarch.rpm


Advertisement

Description

sat4j - A library of SAT solvers written in Java

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release i586
Package filename sat4j-2.3.5-2.1-omv2015.0.noarch.rpm
Package name sat4j
Package version 2.3.5
Package release 2.1-omv2015.0
Package architecture noarch
Package type rpm
Homepage http://www.sat4j.org/
License EPL or LGPLv2
Maintainer -
Download size 506.07 KB
Installed size 554.90 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-2.3.5-2.1-omv2015.0.noarch.rpm 2.3.5 noarch OpenMandriva Main Release
sat4j - - -

Requires

Name Value
java >= 1:1.6
jpackage-utils -

Provides

Name Value
osgi(org.sat4j.core) == 2.3.5
osgi(org.sat4j.pb) == 2.3.5
sat4j == 2.3.5-2.1:2015.0

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package sat4j-2.3.5-2.1-omv2015.0.noarch.rpm
Source Package sat4j-2.3.5-2.1.src.rpm

Install Howto

  1. Enable OpenMandriva Main Release repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install sat4j rpm package:
    # urpmi sat4j

Files

Path
/usr/share/java/org.sat4j.core.jar
/usr/share/java/org.sat4j.pb.jar

Changelog

2014-10-19 - Crispin Boylan <crisb@mandriva.org> 2.3.5-2.1
- (620f393) Rebuild

See Also

Package Description
satyr-0.15-5-omv2015.0.i586.rpm Tools to create anonymous, machine-friendly problem reports
satyr-devel-0.15-5-omv2015.0.i586.rpm Development libraries for satyr
saxon-9.3.0.4-14-omv2015.0.noarch.rpm Java XPath, XSLT 2.0 and XQuery implementation
saxon-demo-9.3.0.4-14-omv2015.0.noarch.rpm Demos for saxon
saxon-javadoc-9.3.0.4-14-omv2015.0.noarch.rpm Javadoc for saxon
saxon-manual-9.3.0.4-14-omv2015.0.noarch.rpm Manual for saxon
saxon-scripts-9.3.0.4-14-omv2015.0.noarch.rpm Utility scripts for saxon
saxpath-1.0-8.0-omv2015.0.noarch.rpm Simple API for XPath
saxpath-javadoc-1.0-8.0-omv2015.0.noarch.rpm API documentation for saxpath
sbc-1.3-5-omv2015.0.i586.rpm Bluetooth SBC utilities
sbinary-0.4.2-3.2-omv2015.0.noarch.rpm Library for describing binary formats for Scala types
sbinary-javadoc-0.4.2-3.2-omv2015.0.noarch.rpm Javadoc for sbinary
sbt-0.13.1-5.4-omv2015.0.noarch.rpm The simple build tool for Scala and Java projects
scala-2.10.4-3.3-omv2015.0.noarch.rpm A hybrid functional/object-oriented language for the JVM
scala-apidoc-2.10.4-3.3-omv2015.0.noarch.rpm Documentation for the Scala programming language
Advertisement
Advertisement