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

    Исходный пакет: picosat
    Версия: 960-alt2.1
    Собран:  4 апреля 2016 г. 7:27 в задании #159698
    Категория: Науки/Математика
    Сообщить об ошибке в пакете
    Gear: https://git.altlinux.org/gears/p/picosat.git?a=tree;hb=b788c36a7…
    Домашняя страница: 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 (x86_64, i586)
    libpicosat-debuginfo (x86_64, i586)
    libpicosat-devel (x86_64, i586)
    picosat (x86_64, i586)
    picosat-debuginfo (x86_64, i586)
    python-module-picosat (x86_64, i586)
    python-module-picosat-debuginfo (x86_64, i586)
    python3-module-picosat (x86_64, i586)
    python3-module-picosat-debuginfo (x86_64, i586)
    Сопровождающий: Eugeny A. Rostovtsev
    Список участников:
    Ivan Zakharyaschev
    Eugeny A. Rostovtsev
      1. python3-devel
      2. python-devel
      3. swig
      4. rpm-build-python3
      5. rpm-macros-make

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

    17 марта 2016 г. Ivan Zakharyaschev 960-alt2.1
    - (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
  (for ABI dependence and new python3(*) reqs)
    17 марта 2015 г. Eugeny A. Rostovtsev 960-alt2
    - Applied patch from https://github.com/pysmt/pysmt/tree/master/patches
  for Python bindings
    17 марта 2015 г. Eugeny A. Rostovtsev 960-alt1
    - Initial build for Sisyphus
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Версия: v24.4.2
    Наверх