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

    Бинарный пакет: libminisat-devel-static
    Версия: 2.2.0-alt5
    Архитектура: x86_64
    Собран:  5 декабря 2013 г. 11:21 в задании #109998
    Исходный пакет: libminisat
    Категория: Разработка/C
    Сообщить об ошибке в пакете
    Домашняя страница: http://minisat.se

    Лицензия: BSD style
    О пакете: The static library with libminisat functions
    Описание: 
    The static library with libminisat functions.

    Сопровождающий: Michael Pozhidaev

    Список участников:
    Michael Pozhidaev

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


    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