sat4j-2.3.5-1-rosa2014.1.noarch.rpm


Advertisement

Description

sat4j - A library of SAT solvers written in Java

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package name sat4j
Package version 2.3.5
Package release 1-rosa2014.1
Package architecture noarch
Package type rpm
Installed size 556.29 KB
Download size 507.52 KB
Official Mirror mirror.rosalab.ru
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-1-rosa2014.1.noarch.rpm 2.3.5 noarch ROSA Main
sat4j - - -

Requires

Name Value
java >= 1.6
jpackage-utils -

Provides

Name Value
sat4j == 2.3.5-1:2014.1

Download

Type URL
Binary Package sat4j-2.3.5-1-rosa2014.1.noarch.rpm
Source Package sat4j-2.3.5-1.src.rpm

Install Howto

  1. Enable ROSA Main 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-07-07 - Denis Silakov <denis.silakov@rosalab.ru> 2.3.5-1
+ Revision: 597b5ab
- Updated to 2.3.5

See Also

Package Description
saxpath-1.0-3-rosa2014.1.noarch.rpm Simple API for XPath
saxpath-javadoc-1.0-3-rosa2014.1.noarch.rpm Javadoc for saxpath
sbc-1.2-2-rosa2014.1.x86_64.rpm Bluetooth SBC utilities
scanssh-2.1-18-rosa2014.1.x86_64.rpm Scans the given addresses and networks for running SSH servers
scli-0.4.0-13-rosa2014.1.x86_64.rpm SCLI - SNMP Command Line Interface
scons-2.3.2-1-rosa2014.1.noarch.rpm Open Source software construction tool
screen-4.0.3-13-rosa2014.1.x86_64.rpm A manager that supports multiple logins on one terminal
screenpen-0.0.3-1-rosa2014.1.x86_64.rpm ROSA ScreenPen
scribus-1.4.4-1-rosa2014.1.x86_64.rpm Scribus - Open Source Page Layout
scribus-devel-1.4.4-1-rosa2014.1.x86_64.rpm Development headers for programs that will use Scribus
scrot-0.8-6-rosa2014.1.x86_64.rpm Screen-shot capture using Imlib 2
scrot-gnome-0.8-6-rosa2014.1.x86_64.rpm Replacement for standart GNOME Shell screen capture
sdparm-1.08-2-rosa2014.1.x86_64.rpm List or change SCSI disk parameters
seabios-1.7.3.2-2-rosa2014.1.x86_64.rpm Open-source legacy BIOS implementation
seabios-bin-1.7.3.2-2-rosa2014.1.noarch.rpm Seabios for x86
Advertisement
Advertisement