sat4j-2.3.5-3.mga4.noarch.rpm


Advertisement

Description

sat4j - A library of SAT solvers written in Java

Property Value
Distribution Mageia 4.1
Repository Mageia Core i586
Package name sat4j
Package version 2.3.5
Package release 3.mga4
Package architecture noarch
Package type rpm
Installed size 556.25 KB
Download size 508.45 KB
Official Mirror distrib-coffee.ipsl.jussieu.fr
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-3.mga4.noarch.rpm 2.3.5 noarch Mageia Core
sat4j - - -

Requires

Name Value
java >= 1:1.6
jpackage-utils -
osgi(org.sat4j.core) -

Provides

Name Value
osgi(org.sat4j.core) == 2.3.5
osgi(org.sat4j.pb) == 2.3.5
sat4j == 2.3.5-3.mga4

Download

Type URL
Binary Package sat4j-2.3.5-3.mga4.noarch.rpm
Source Package sat4j-2.3.5-3.mga4.src.rpm

Install Howto

  1. Enable Mageia Core 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

2013-10-21 - umeabot <umeabot> 2.3.5-3.mga4
+ Revision: 537657
- Mageia 4 Mass Rebuild
2013-09-27 - dmorgan <dmorgan> 2.3.5-2.mga4
+ Revision: 487422
- Rebuild against new javapackages
2013-07-16 - dmorgan <dmorgan> 2.3.5-1.mga4
+ Revision: 454966
- New version
2013-01-14 - umeabot <umeabot> 2.3.0-4.mga3
+ Revision: 381724
- Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild
2011-12-21 - dmorgan <dmorgan> 2.3.0-3.mga2
+ Revision: 185132
- Make 1.5-level bytecode
This enables bootstrapping of Eclipse with OpenJDK 7.
2011-11-16 - dmorgan <dmorgan> 2.3.0-2.mga2
+ Revision: 168039
- Remove dupplicate %changelog entry ( mga #3356)
2011-07-19 - dmorgan <dmorgan> 2.3.0-1.mga2
+ Revision: 126053
- New version 2.3.0
- Add back version 2.2.0
2011-03-04 - dmorgan <dmorgan> 2.0.3-4.mga1
+ Revision: 63854
- Revert to an older version to be able to build eclipse
2011-02-01 - dmorgan <dmorgan> 2.2.0-4.mga1
+ Revision: 45900
- Adapt for mageia
- imported package sat4j
2011-01-29 - sshaw@decriptor.com
- Updated package based on sat4j-2.2.0-1.fc14.src.rpm

See Also

Package Description
sax2-2.0.2-3.mga4.noarch.rpm Simple API for XML
sax2-javadoc-2.0.2-3.mga4.noarch.rpm Javadoc for sax2
saxon-9.3.0.4-10.mga4.noarch.rpm Java XPath, XSLT 2.0 and XQuery implementation
saxon-demo-9.3.0.4-10.mga4.noarch.rpm Demos for saxon
saxon-javadoc-9.3.0.4-10.mga4.noarch.rpm Javadoc for saxon
saxon-manual-9.3.0.4-10.mga4.noarch.rpm Manual for saxon
saxon-scripts-9.3.0.4-10.mga4.noarch.rpm Utility scripts for saxon
saxpath-1.0-6.mga4.noarch.rpm Simple API for XPath
saxpath-javadoc-1.0-6.mga4.noarch.rpm Javadoc for saxpath
sazanami-fonts-common-0.20040629-19.mga4.noarch.rpm Common files for Sazanami Japanese TrueType fonts
sazanami-gothic-fonts-0.20040629-19.mga4.noarch.rpm Sazanami Gothic Japanese TrueType font
sazanami-mincho-fonts-0.20040629-19.mga4.noarch.rpm Sazanami Mincho Japanese TrueType font
sbc-1.1-2.mga4.i586.rpm Bluetooth SBC utilities
sbcl-1.1.14-1.mga4.i586.rpm Steel Bank Common Lisp compiler and runtime system
scalpel-2.0-3.mga4.i586.rpm A Frugal, High Performance File Carver
Advertisement
Advertisement