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

    Исходный пакет: picosat
    Версия: 965-alt3
    Собран:  11 января 2021 г. 21:15
    Категория: Науки/Математика
    Сообщить об ошибке в пакете
    Домашняя страница: http://fmv.jku.at/picosat/

    Лицензия: MIT
    О пакете: PicoSAT solver
    Описание: 
    The SAT problem is the classical NP complete problem of searching for a
    satisfying assignment of a propositional formula in conjunctive normal
    form (CNF). General information on SAT can be found at www.satlive.org
    or www.satlib.org.

    Список rpm-пакетов, предоставляемых данным srpm-пакетом:
    libpicosat (e2kv5, e2kv4, e2k)
    libpicosat-debuginfo (e2kv5, e2kv4, e2k)
    libpicosat-devel (e2kv5, e2kv4, e2k)
    picosat (e2kv5, e2kv4, e2k)
    picosat-debuginfo (e2kv5, e2kv4, e2k)
    python3-module-picosat (e2kv5, e2kv4, e2k)
    python3-module-picosat-debuginfo (e2kv5, e2kv4, e2k)

    Сопровождающий: Eugeny A. Rostovtsev


      1. python3-devel
      2. python3-module-setuptools
      3. swig
      4. rpm-build-python3
      5. rpm-macros-make

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


    12 июля 2020 г. Michael Shigorin 965-alt3
    - fixed build on non-x86 64-bit arches
    5 февраля 2020 г. Stanislav Levin 965-alt2
    - Stopped build for Python2.
    11 апреля 2019 г. Grigory Ustinov 965-alt1
    - Build new version.