Репозитории ALT
Последнее обновление в Пт, 24 июля 2020, 14:09:54 +0000 | Пакетов: 23564
en ru
Исходные пакеты в ветвях
свернуть окно
  • 2.3.5-alt1_12jpp8
  • 2.3.5-alt1_7jpp8
  • 2.3.5-alt1_7jpp8
  • 2.3.0-alt1_4jpp7
  • 2.3.0-alt1_4jpp7
  • 2.3.0-alt1_4jpp7
  • 2.3.0-alt1_2jpp6
  • 2.3.0-alt1_2jpp6
  • 2.3.0-alt1_2jpp6
  • 2.1.0-alt1_1jpp6
  • 2.0.0-alt1_7jpp6
Группа :: Разработка/Java
Исходный пакет: sat4j
Текущая версия: 2.3.5-alt1_16jpp8
Собрано: 4 месяца назад
Размер архива: 11,4 МБ
Отчёт repocop: skip
Gear:   http://git.altlinux.org/srpms/s/sat4j.git
Архив:   http://ftp.altlinux.org/pub/distributions/archive/sisyphus/index/src/s/sat4j
Домашняя страница:   http://www.sat4j.org/

Лицензия: EPL-1.0 or LGPLv2
О пакете: A library of SAT solvers written in Java
Описание:

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.

Текущий сопровождающий: Игорь Власе́нко

Список участников
(данной и/или предыдущих сборок пакета):
Права: Список rpm-пакетов, предоставляемых данным srpm-пакетом:
  • sat4j
Последние изменения (три последних записи журнала изменений):

2020-10-09 Игорь Власе́нко 2.3.5-alt1_16jpp8

    - update
        

2019-05-26 Игорь Власе́нко 2.3.5-alt1_14jpp8

    - new version
        

2018-04-16 Игорь Власе́нко 2.3.5-alt1_12jpp8

    - java update
        
 
Проект Geyser основан на коде из проекта Prometheus 2.0, который был доступен по лицензии MIT