Package sat4j: Information

    Source package: sat4j
    Version: 2.3.5-alt1_7jpp8
    Build time:  Feb 3, 2016, 02:04 AM in the task #157422
    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 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
      1. ant
      2. /proc
      3. rpm-build-java
      4. rpm-build-java-osgi
      5. javapackages-local
      6. jpackage-generic-compat

    Last changed

    Feb. 2, 2016 Igor Vlasenko 2.3.5-alt1_7jpp8
    - new version
    Sept. 8, 2014 Igor Vlasenko 2.3.5-alt1_2jpp7
    - new release
    Aug. 1, 2014 Igor Vlasenko 2.3.5-alt1_1jpp7
    - new version
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v24.4.2
    Back to top