Package sat4j: Information

    Source package: sat4j
    Version: 2.3.0-alt1_4jpp7
    Build time:  Aug 21, 2012, 08:48 PM
    Category: Development/Java
    Report package bug
    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. /proc
      2. ecj
      3. rpm-build-java-osgi
      4. jpackage-compat
      5. ant

    Last changed

    Aug. 20, 2012 Igor Vlasenko 2.3.0-alt1_4jpp7
    - update to new release by jppimport
    Sept. 8, 2011 Igor Vlasenko 2.3.0-alt1_2jpp6
    - update to new release by jppimport
    Feb. 27, 2011 Igor Vlasenko 2.2.0-alt1_1jpp6
    - new version
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v24.4.2
    Back to top