Package picosat: Information

    Binary package: picosat
    Version: 965-alt3
    Architecture: e2kv4
    Build time:  Jan 11, 2021, 09:15 PM
    Source package: picosat
    Category: Sciences/Mathematics
    Report package bug
    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.
    Maintainer: Eugeny A. Rostovtsev
    List of contributors:
    Michael Shigorin
    Stanislav Levin
    Grigory Ustinov
    Aleksei Nikiforov
    Ivan Zakharyaschev
    Eugeny A. Rostovtsev

    Last changed

    July 12, 2020 Michael Shigorin 965-alt3
    - fixed build on non-x86 64-bit arches
    Feb. 5, 2020 Stanislav Levin 965-alt2
    - Stopped build for Python2.
    April 11, 2019 Grigory Ustinov 965-alt1
    - Build new version.
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v24.4.2
    Back to top