sat4j-2.3.5-3.mga4.noarch.rpm


Advertisement

Description

sat4j - A library of SAT solvers written in Java

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

Provides

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

    Download

    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

    • /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

    Advertisement
    Advertisement