Package libpicosat: Information

    Binary package: libpicosat
    Version: 965-alt3
    Architecture: e2kv5
    Build time:  Jan 11, 2021, 09:14 PM
    Source package: picosat
    Category: System/Libraries
    Report package bug
    License: MIT
    Summary: Shared library of picosat
    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.
    
    This package contains shared library of picosat.



    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.