Package sat4j: Information

    Source package: sat4j
    Version: 2.3.5-alt1_20jpp11
    Latest version according to Repology
    Build time:  Jun 1, 2021, 10:09 AM in the task #273207
    Category: Development/Java
    Report package bug
    Gear: https://git.altlinux.org/srpms/s/sat4j.git?a=tree;hb=2.3.5-alt1_…
    Home page: http://www.sat4j.org/
    License: EPL-1.0 or LGPLv2
    Summary: A library of SAT solvers written in Java
    Description: 
    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.
    List of rpms provided by this srpm:
    sat4j (noarch)
    Maintainer: Igor Vlasenko
    List of contributors:
    Igor Vlasenko
    ACL:
    Igor Vlasenko
    @java
      1. ant
      2. /proc
      3. /proc
      4. rpm-build-java
      5. rpm-build-java-osgi
      6. javapackages-local
      7. jpackage-11-compat

    Last changed

    June 1, 2021 Igor Vlasenko 2.3.5-alt1_20jpp11
    - update
    Oct. 9, 2020 Igor Vlasenko 2.3.5-alt1_16jpp8
    - update
    May 26, 2019 Igor Vlasenko 2.3.5-alt1_14jpp8
    - new version
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v24.5.0
    Back to top