Package picosat: Information

    Source package: picosat
    Version: 965-alt1
    Build time:  Apr 18, 2019, 06:55 PM in the task #225625
    Category: Sciences/Mathematics
    Report package bug
    Gear: https://git.altlinux.org/gears/p/picosat.git?a=tree;hb=f1acf8487…
    Home page: http://fmv.jku.at/picosat/
    License: MIT
    Summary: PicoSAT solver
    Description: 
    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.
    List of rpms provided by this 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)
    Maintainer: Eugeny A. Rostovtsev
    List of contributors:
    Grigory Ustinov
    Aleksei Nikiforov
    Ivan Zakharyaschev
    Eugeny A. Rostovtsev
      1. python3-devel
      2. python3-module-setuptools
      3. python-devel
      4. swig
      5. python-module-setuptools
      6. rpm-build-python3
      7. rpm-macros-make

    Last changed

    April 11, 2019 Grigory Ustinov 965-alt1
    - Build new version.
    March 22, 2018 Aleksei Nikiforov 960-alt2.1.1
    - (NMU) Rebuilt with python-3.6.4.
    March 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)
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v24.4.2
    Back to top