Репозиторий Sisyphus
Последнее обновление: 20 ноября 2017 | Пакетов: 17916 | Посещений: 10401940
en ru br
Репозитории ALT

Группа :: Система/Библиотеки
Пакет: libminisat

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

Текущая версия: 2.2.0-alt5
Время сборки: 5 декабря 2013, 07:14 ( 206.6 недели назад )
Размер архива: 45.60 Kb

Домашняя страница:   http://minisat.se

Лицензия: BSD style
О пакете: The library for Boolean satisfiability problem solving
Описание:

This package contains libminisat library as Deepsolver engine for SAT solving. You can find
original library at http://minisat.se.

Текущий майнтейнер: Michael Pozhidaev

Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета:

Список rpm-пакетов, предоставляемый данным srpm-пакетом:

  • libminisat
  • libminisat-debuginfo
  • libminisat-devel
  • libminisat-devel-static
ACL:
     
    дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    текущий майнтейнер: Michael Shigorin