sat4j-2.3.5-9.mga6.noarch.rpm


Advertisement

Description

sat4j - A library of SAT solvers written in Java

Property Value
Distribution Mageia 6.0
Repository Mageia Core x86_64
Package name sat4j
Package version 2.3.5
Package release 9.mga6
Package architecture noarch
Package type rpm
Installed size 554.89 KB
Download size 509.91 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-9.mga6.noarch.rpm 2.3.5 noarch Mageia Core
sat4j - - -

Requires

Name Value
javapackages-tools -
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-9.mga6

Download

Type URL
Binary Package sat4j-2.3.5-9.mga6.noarch.rpm
Source Package sat4j-2.3.5-9.mga6.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

2016-02-24 - neoclust <neoclust> 2.3.5-9.mga6
+ Revision: 978165
- First rebuild of the java stack
- sync package sat4j with fedora
2016-02-06 - umeabot <umeabot> 2.3.5-6.mga6
+ Revision: 941942
- Mageia 6 Mass Rebuild
2014-10-15 - umeabot <umeabot> 2.3.5-5.mga5
+ Revision: 738853
- Second Mageia 5 Mass Rebuild
2014-09-16 - umeabot <umeabot> 2.3.5-4.mga5
+ Revision: 689035
- Mageia 5 Mass Rebuild
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

See Also

Package Description
sax2-2.0.2-6.mga6.noarch.rpm Simple API for XML
sax2-javadoc-2.0.2-6.mga6.noarch.rpm Javadoc for sax2
saxon-9.4.0.9-1.mga6.noarch.rpm Java XPath, XSLT 2.0 and XQuery implementation
saxon-demo-9.4.0.9-1.mga6.noarch.rpm Demos for saxon
saxon-javadoc-9.4.0.9-1.mga6.noarch.rpm Javadoc for saxon
saxon-manual-9.4.0.9-1.mga6.noarch.rpm Manual for saxon
saxon-scripts-9.4.0.9-1.mga6.noarch.rpm Utility scripts for saxon
saxpath-1.0-11.mga6.noarch.rpm Simple API for XPath
saxpath-javadoc-1.0-11.mga6.noarch.rpm API documentation for saxpath
sayonara-0.9.2-0.svn20161030.1.mga6.x86_64.rpm A lightweight Qt Audio player
sazanami-fonts-common-0.20040629-24.mga6.noarch.rpm Common files for Sazanami Japanese TrueType fonts
sazanami-gothic-fonts-0.20040629-24.mga6.noarch.rpm Sazanami Gothic Japanese TrueType font
sazanami-mincho-fonts-0.20040629-24.mga6.noarch.rpm Sazanami Mincho Japanese TrueType font
sbc-1.2-4.mga6.x86_64.rpm Bluetooth SBC utilities
sbcl-1.1.14-5.mga6.x86_64.rpm Steel Bank Common Lisp compiler and runtime system
Advertisement
Advertisement