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

    Исходный пакет: libminisat
    Версия: 2.2.0-alt4
    Собран:  4 марта 2013 г. 9:28
    Сообщить об ошибке в пакете
    Домашняя страница: 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

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


    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
    22 декабря 2012 г. Michael Pozhidaev 2.2.0-alt2
    - Variable value assumption support added