Группа :: Разработка/Java
Пакет: sat4j
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Текущая версия: 2.3.5-alt1_20jpp11
Время сборки: 31 мая 2021, 23:25 ( 147.5 недели назад )
Размер архива: 11.25 Mb
Домашняя страница: http://www.sat4j.org/
Лицензия: EPL-1.0 or LGPLv2
О пакете: A library of SAT solvers written in Java
Описание:
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
ACL:
Время сборки: 31 мая 2021, 23:25 ( 147.5 недели назад )
Размер архива: 11.25 Mb
Домашняя страница: 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.
Текущий майнтейнер: Igor Vlasenko 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