ALT repositories
Last updated at Fri, 24 Jul 2020 14:09:54 +0000 | SRPMs: 23564
en ru
SRPMs in branches
hide window
  • p9:
    2.3.5-alt1_12jpp8
  • c8:
    2.3.5-alt1_7jpp8
  • p8:
    2.3.5-alt1_7jpp8
  • c7:
    2.3.0-alt1_4jpp7
  • p7:
    2.3.0-alt1_4jpp7
  • t7:
    2.3.0-alt1_4jpp7
  • c6:
    2.3.0-alt1_2jpp6
  • p6:
    2.3.0-alt1_2jpp6
  • t6:
    2.3.0-alt1_2jpp6
  • 5.1:
    2.1.0-alt1_1jpp6
  • p5:
    2.0.0-alt1_7jpp6
Group :: Development/Java
Source RPM: sat4j
Main
Changelog
Spec
Bugs (0/0)
Repocop
Git Repos
Tasks
Current version: 2.3.5-alt1_14jpp8
Built: over 1 year ago
Size: 11.4 MB
Repocop status: skip
Task no: 230975
Gear:   http://git.altlinux.org/srpms/s/sat4j.git
Archive:   http://ftp.altlinux.org/pub/distributions/archive/sisyphus/index/src/s/sat4j
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.

Current maintainer: Igor Vlasenko

List of contributors:
ACL:
List of rpms provided by this srpm:
  • sat4j
Recent changes (last three changelog entries):

2019-05-26 Igor Vlasenko 2.3.5-alt1_14jpp8 

    - new version

2018-04-16 Igor Vlasenko 2.3.5-alt1_12jpp8 

    - java update

2017-11-09 Igor Vlasenko 2.3.5-alt1_11jpp8 

    - fc27 update
 
The Geyser project is based on code from Prometheus2.0, which had been made available under the MIT License.