Package sat4j: Information

    Source package: sat4j
    Version: 2.3.5-alt1_12jpp8
    Build time:  Apr 19, 2018, 01:08 PM in the task #204537
    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. /proc
      4. rpm-build-java
      5. rpm-build-java-osgi
      6. javapackages-local
      7. jpackage-generic-compat

    Last changed

    April 16, 2018 Igor Vlasenko 2.3.5-alt1_12jpp8
    - java update
    Nov. 9, 2017 Igor Vlasenko 2.3.5-alt1_11jpp8
    - fc27 update
    Oct. 17, 2017 Igor Vlasenko 2.3.5-alt1_9jpp8
    - new jpp release
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v24.4.2
    Back to top