Пакет libminisat: Информация

    Исходный пакет: libminisat
    Версия: 2.2.0-alt5
    Собран:  5 декабря 2013 г. 11:21 в задании #109998
    Категория: Система/Библиотеки
    Сообщить об ошибке в пакете
    Gear: https://git.altlinux.org/gears/l/libminisat.git?a=tree;hb=b204ca…
    Домашняя страница: 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.
    Список rpm-пакетов, предоставляемых данным srpm-пакетом:
    libminisat (x86_64, i586)
    libminisat-debuginfo (x86_64, i586)
    libminisat-devel (x86_64, i586)
    libminisat-devel-static (x86_64, i586)
    Сопровождающий: Michael Pozhidaev
    Список участников:
    Michael Pozhidaev
      1. gcc-c++
      2. zlib-devel

    Последнее изменение

    5 декабря 2013 г. Michael Pozhidaev 2.2.0-alt5
    - Fixed building bug with missed m4 directory
    1 марта 2013 г. Michael Pozhidaev 2.2.0-alt4
    - Proper collisions support
- Assumptions support is removed
    19 января 2013 г. Michael Pozhidaev 2.2.0-alt3
    - Conflicts analyzing is added
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Версия: v24.4.2
    Наверх